scientific article; zbMATH DE number 517016
From MaRDI portal
Publication:4282541
zbMATH Open0797.18008MaRDI QIDQ4282541FDOQ4282541
Authors: Serguei V. Solov'ev 
Publication date: 17 April 1994
Title of this publication is not available (Why is that?)
Recommendations
- Axioms and decidability for type isomorphism in the presence of sums
- Complete types in an extension of the system \({\mathcal A}{\mathcal F}2\)
- Provable isomorphisms of types
- A cartesian closed category in Martin-Löf's intuitionistic type theory
- Axiomatizing a category of categories
- A short survey of isomorphisms of types
- scientific article; zbMATH DE number 3898875
- Locally cartesian closed categories and type theory
- Remarks on isomorphisms of simple inductive types
- scientific article; zbMATH DE number 4010480
Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Cited In (8)
- Automorphisms of types in certain type theories and representation of finite groups
- Remarks on isomorphisms in typed lambda calculi with empty and sum types
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- Efficient and flexible matching of recursive types
- Multiplicative linear logics and fibrations
- On Isomorphisms of Intersection Types
- Isomorphism of intersection and union types
- A practical type theory for symmetric monoidal categories
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 Q4282541)
