Typed λ-calculus with recursive definitions

DOI10.1007/BFb0023879zbMath0978.03511OpenAlexW304547017MaRDI QIDQ2757815

S. V. Kotov

Publication date: 4 December 2001

Published in: Logical Foundations of Computer Science — Tver '92 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0023879

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Typed λ-calculus with recursive definitions