Tamás Végh

According to our database, Tamás Végh authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Combinatory Logic and Lambda Calculus Are Equal, Algebraically.

Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

The Münchhausen Method in Type Theory.

Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022