Tamás Végh

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Experimental Study

Lambda Calculus

Complex Objects

Top Venues

Publications

Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh
Combinatory Logic and Lambda Calculus Are Equal, Algebraically. FSCD (2023)
Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh
The Münchhausen Method in Type Theory. TYPES (2022)