"Why Are Proofs Relevant in Proof-Relevant Models?"

Axel Kerinec, Giulio Manzonetto, Federico Olimpieri (2023)
[–] 

Details and statistics

DOI: 10.1145/3571201

access: open

type: Journal Article

metadata version: 2023-02-10