scientific article
From MaRDI portal
Publication:3986546
zbMath0746.03019MaRDI QIDQ3986546
No author found.
Publication date: 27 June 1992
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1991__32_2_165_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Domain theory in logical form
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
- Limits indexed by category-valued 2-functors
- Indexed categories and their applications
- Formal category theory: Adjointness for 2-categories
- Locally cartesian closed categories and type theory
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
- Categorical semantics for higher order polymorphic lambda calculus
- A framework for defining logics
- Adjointness in Foundations
- From Petri nets to linear logic
- A category-theoretic account of program modules
- Natural deduction as higher-order resolution
- An Early Program Proof by Alan Turing
- Numerical inverting of matrices of high order
