scientific article; zbMATH DE number 1927416

MaRDI QIDQ4484334zbMATH OpenFDO

Authors Yves Bertot, Venanzio Capretta, Kuntal Das Barman

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2410/24100083.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1696583
• scientific article; zbMATH DE number 4027461
• scientific article; zbMATH DE number 1175489
• Functional semantics
• Computational semantics in type theory
• scientific article; zbMATH DE number 4002073
• scientific article; zbMATH DE number 53088
• Term-space semantics of typed lambda calculus
• Semantics of higher inductive types
• scientific article; zbMATH DE number 1302061

Cited in

(5)

• Semantics of untyped functional programs
• Denotational cost semantics for functional languages with inductive types
• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
• scientific article; zbMATH DE number 4002073 (Why is no real title available?)
• Denotational semantics of recursive types in synthetic guarded domain theory

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 Q4484334)