  |
Items where Author is "Lafont, Ambroise"
Group by: Item Type | No Grouping Number of items: 1. Kaposi, 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) |
