zbMath0902.68027MaRDI QIDQ3837986
I. Stark
Publication date: 10 December 1998
zbMATH Keywords
typed lambda-calculus
Mathematics Subject Classification ID
68N15: Theory of programming languages
68N01: General topics in the theory of software
Uses Software