REDUCTION FREE NORMALIZATION FOR A PROOF-IRRELEVANT TYPE OF PROPOSITIONS
Artikel i vetenskaplig tidskrift, 2023
Författare
Thierry Coquand
Chalmers, Data- och informationsteknik, Computing Science
Logical Methods in Computer Science
18605974 (eISSN)
Vol. 19 3 1-11Ämneskategorier (SSIF 2025)
Data- och informationsvetenskap (Datateknik)
DOI
10.46298/lmcs-19(3:5)2023