scientific article; zbMATH DE number 517016
From MaRDI portal
Publication:4282541
zbMath0797.18008MaRDI QIDQ4282541
Publication date: 17 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items (7)
Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ On Isomorphisms of Intersection Types ⋮ Remarks on isomorphisms in typed lambda calculi with empty and sum types ⋮ Multiplicative Linear Logics and Fibrations ⋮ Automorphisms of types in certain type theories and representation of finite groups ⋮ Efficient and flexible matching of recursive types ⋮ Isomorphism of intersection and union types
This page was built for publication:
