Scott Is Always Simple

DOI10.1007/978-3-642-32589-2_3MaRDI QIDQ2912707zbMATH OpenOpenAlexFDO

Authors Antonino Salibra

Publication date 25 September 2012

Published in Mathematical Foundations of Computer Science 2012 (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10278/34875

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(2)

• scientific article; zbMATH DE number 1222100 (Why is no real title available?)
• scientific article; zbMATH DE number 5178687 (Why is no real title available?)

This page was built for publication: Scott Is Always Simple

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2912707)