HYBRID PARTIAL-TOTAL TYPE THEORY

DOI10.1142/S0129054195000159zbMath0830.68078MaRDI QIDQ4853339

Scott F. Smith

Publication date: 29 October 1995

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

constructive type theoryhybrid type theory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Logic programming (68N17)

Related Items (3)

Logic of subtyping ⋮ MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK ⋮ On modal logics of partial recursive functions

This page was built for publication: HYBRID PARTIAL-TOTAL TYPE THEORY