The Münchhausen Method in Type Theory. - Thorsten Altenkirch; Ambrus Kaposi; Artjoms Sinkarovs; Tamás Végh (TYPES, 2022)

Combinatory Logic and Lambda Calculus Are Equal, Algebraically. - Thorsten Altenkirch; Ambrus Kaposi; Artjoms Sinkarovs; Tamás Végh (FSCD, 2023)