Theories of types and names with positive stratified comprehension

From MaRDI portal

Publication:1288964

Jump to:navigation, search

DOI10.1023/A:1026403603439zbMath0922.03081OpenAlexW1605406162MaRDI QIDQ1288964

Pierluigi Minari

Publication date: 11 October 1999

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026403603439

zbMATH Keywords

consistency explicit mathematics Church-Rosser property extended lambda-calculus combinatory algebra

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Combinatory logic and lambda calculus (03B40)

Related Items

The axiom of choice and combinatory logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1288964&oldid=13394801"