A universality theorem for PCF with recursive types, parallel-or and ∃

DOI10.1017/S0960129500000384zbMATH Open0802.68075MaRDI QIDQ4286532FDOQ4286532

Authors: Thomas Streicher 

Publication date: 11 December 1994

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1968604
• Full abstraction and the Context Lemma (preliminary report)
• scientific article; zbMATH DE number 16188
• scientific article; zbMATH DE number 1523049
• Full abstraction, totality and PCF

zbMATH Keywords

PCFtyped \(\lambda\)-calculusrecursive typesuniversal programming languageminimal fixpoint operator

Mathematics Subject Classification ID

Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Cites Work

• LCF considered as a programming language
• Effectively given domains
• Expressibility of functionals in D. Scott's LCF language

Cited In (6)

• A stream calculus of bottomed sequences for real number computation
• An abstract data type for real numbers
• An abstract data type for real numbers
• Exploratory functions on nondeterministic strategies, up to lower bisimilarity
• A stable programming language
• Induction and recursion on the partial real line with applications to Real PCF

This page was built for publication: A universality theorem for PCF with recursive types, parallel-or and ∃

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