  |
Items where Author is "Kraus, Nicolai"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemKaposi, Ambrus and Kovács, András and Kraus, Nicolai (2020) Shallow embedding of type theory is morally correct. In: 26th International Conference on Types for Proofs and Programs (TYPES 2020). |
