La théorie intuitionniste des types : sémantique des preuves et théorie des constructions

DOI10.1017/S0012217300009537zbMath0923.03067MaRDI QIDQ4252873

Michel Bourdeau

Publication date: 22 June 1999

Published in: Dialogue (Search for Journal in Brave)

zbMATH Keywords

constructive type theoryproof objectsproof processes

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

This page was built for publication: La théorie intuitionniste des types : sémantique des preuves et théorie des constructions