Items where Author is "Lafont, Ambroise"
Group by: Item Type | No Grouping Jump to: Article Number of items: 1. ArticleKaposi, Ambrus and Kovács, András and Lafont, Ambroise (2020) For Finitary Induction-Induction, Induction is Enough. 25th International Conference on Types for Proofs and Programs (TYPES 2019). (In Press) |