scientific article; zbMATH DE number 2087549

MaRDI QIDQ4738359zbMATH OpenFDO

Authors Peter J. Thiemann

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A dependent dependency calculus
• Programming Languages and Systems
• KI 2005: Advances in Artificial Intelligence
• A classical sequent calculus with dependent types
• A relationally parametric model of dependent type theory
• Syntactic calculus with dependent types
• Dependent types in mathematical theory of programming
• A dependent nominal type theory
• The Implicit Calculus of Constructions as a Programming Language with Dependent Types
• Dependent types and formal synthesis

Cited in

(7)

• Analysis and caching of dependencies
• scientific article; zbMATH DE number 1476489 (Why is no real title available?)
• Translating dependency into parametricity
• A theory of reduced and minimal procedural dependencies
• Access control in a core calculus of dependency
• A dependent dependency calculus
• Abstract semantic dependency

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