scientific article

From MaRDI portal

Revision as of 03:15, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4038654

Jump to:navigation, search

zbMath0770.03005MaRDI QIDQ4038654

Kees Hemerik, Hendrik Pieter Barendregt

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

type theory typed lambda calculi

Mathematics Subject Classification ID

Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Algebraic domains of natural transformations ⋮ A unified approach to type theory through a refined \(\lambda\)-calculus ⋮ Communicating contexts: A pragmatic approach to information exchange ⋮ Comparing Hagino's categorical programming language and typed lambda- calculi ⋮ Computational interpretations of linear logic ⋮ Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction

Uses Software

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4038654&oldid=17762720"