scientific article; zbMATH DE number 1497732

MaRDI QIDQ4499141zbMATH OpenFDO

Authors

Publication date 6 March 2001

zbMATH Keywords

relizability models

Mathematics Subject Classification ID

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

Recommendations

• Comparing models of the intensional typed -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

Cited in

(4)

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

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)