zbMath0943.03010MaRDI QIDQ4944849
Pierre Leleu, Joëlle Despeyroux
Publication date: 5 September 2000
zbMATH Keywords
conservative extension; higher-order abstract syntax; inductive type; simply-typed \(\lambda\)-calculus; modal \(\lambda\)-calculus; operators for iteration and case reasoning
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
03B40: Combinatory logic and lambda calculus
Uses Software