scientific article; zbMATH DE number 1497732

zbMATH Open0958.68063MaRDI QIDQ4499141FDOQ4499141

Authors:

Publication date: 6 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• Comparing models of the intensional typed \(\lambda\)-calculus
• scientific article; zbMATH DE number 1499094
• Comparing hierarchies of types in models of linear logic
• Computational higher-dimensional type theory
• On specifications, theories, and models with higher types
• Computations on types
• Model-checking higher-order programs with recursive types
• Computational types from a logical perspective
• Interpreting higher computations as types with totality

zbMATH Keywords

relizability models

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Cited In (4)

• Sheaf toposes for realizability
• The computational power of \({\mathcal M}^\omega\)
• Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction
• HasCasl: integrated higher-order specification and program development

This page was built for publication:

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