scientific article; zbMATH DE number 29052

MaRDI QIDQ3986546zbMATH OpenFDO

Authors

Publication date 27 June 1992

Full work available at URL http://www.numdam.org/item?id=CTGDC_1991__32_2_165_0, https://eudml.org/doc/91477

zbMATH Keywords

indexed categoriesprogram correctnessprogram specification

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Indexed categories and bottom-up semantics of logic programs
• A category-theoretical approach to logic program development
• Indexed and fibred structures for Hoare logic
• Fibred and Indexed Categories for Abstract Model Theory
• A category-theoretic account of program modules

Cites work

• A category-theoretic account of program modules
• A framework for defining logics
• Adjointness in Foundations
• An Early Program Proof by Alan Turing
• Categorical semantics for higher order polymorphic lambda calculus
• Domain theory in logical form
• Formal category theory: Adjointness for 2-categories
• From Petri nets to linear logic
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 4049849 (Why is no real title available?)
• scientific article; zbMATH DE number 4085643 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 4104952 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 3508697 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• scientific article; zbMATH DE number 4187810 (Why is no real title available?)
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Indexed categories and their applications
• Limits indexed by category-valued 2-functors
• Locally cartesian closed categories and type theory
• Natural deduction as higher-order resolution
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
• Numerical inverting of matrices of high order

Cited in

(3)

• Indexed and fibred structures for Hoare logic
• Indexed categories and bottom-up semantics of logic programs
• A category-theoretical approach to logic program development

Describes a project that uses

Uses Software

• Nuprl
• Haskell

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