scientific article
From MaRDI portal
Publication:4027624
zbMath0759.03009MaRDI QIDQ4027624
Pierre-Louis Curien, Giorgio Ghelli
Publication date: 21 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
subtypingbounded quantificationsecond-order lambda calculusdeterministic type-checking algorithmnormalizing rewrite system
Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)
Related Items
On confluence for weakly normalizing systems, Subtyping + extensionality: Confluence of βηtop reduction in F≤, A modest model of records, inheritance, and bounded quantification, Inheritance as implicit coercion, Linear logic, coherence and dinaturality, Unnamed Item, CPO-models for second order lambda calculus with recursive types and subtyping
