REAL

Items where Author is "Lafont, Ambroise"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

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)

This list was generated on Fri Mar 29 07:16:02 2024 CET.