Pure type systems with explicit substitution

DOI10.1017/S096012950000325XzbMath0972.68026MaRDI QIDQ2713351

Roel Bloo

Publication date: 7 May 2001

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

pure type systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Revisiting the notion of function ⋮ Pure type systems with explicit substitutions

Uses Software

• Automath

This page was built for publication: Pure type systems with explicit substitution