vix.ing · top · new · best · stats · spec

What is an efficient implementation of the λ-calculus?

1991/01/01 by Gudmund Skovbjerg Frandsen, Gudmund S. Frandsen, Carl Sturtivant · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #Logic, programming, and type systems #semigroups and automata theory

paper · doi:10.1007/3540543961_14

crossref issued 1991/01/01 · crossref published 1991/01/01 · crossref published-print 1991/01/01 · openalex publication_date 1991/01/01 · crossref published-online 2005/07/06 · crossref created 2012/02/25 · crossref deposited 2025/03/21 · crossref indexed 2025/07/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29

Citations

Cited by