Seminar Logic and Type Theory

Organizers

• dr hab. Aleksy Schubert, prof. UW
• prof. dr hab. Paweł Urzyczyn

Information

Home page

Research fields

• Automata Theory
• Logic in Computer Science

List of talks

• Nov. 29, 2024, 12:15 p.m.
  Aleksy Schubert (MIMUW)
  Higher-order matching, transformations T1 and T2 and 4th order matching (Dopasowanie wyższego rzędu, transformacje T1 i T2 oraz dopasowanie czwartego rzędu)
  Stirling's proof of the higher-order matching decidability uses two basic solution transformations called T1 and T2 and then the third transformation called unfolding. The vocabulary introduced on the previous talk will make it easy to …

  ---