Pages that link to "Item:Q3679177"
From MaRDI portal
The following pages link to HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION (Q3679177):
Displaying 26 items.
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- The proof monad (Q974136) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic (Q1193588) (← links)
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Polyadic spaces and profinite monoids (Q2695361) (← links)
- Categorical semantics for higher order polymorphic lambda calculus (Q3783264) (← links)
- (Q3986546) (← links)
- (Q5079725) (← links)
- A category-theoretic account of program modules (Q5096254) (← links)
- Graded multicategories of polynomial-time realizers (Q5096260) (← links)
- Dictoses (Q5096262) (← links)
- On the semantics of classical disjunction (Q5939825) (← links)
- On duality and model theory for polyadic spaces (Q6139255) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- Some properties of internal locale morphisms externalised (Q6634611) (← links)
- Deep fried logic (Q6651286) (← links)
