scientific article; zbMATH DE number 2061698

zbMath1039.68029MaRDI QIDQ4457444

Andreas Abel

Publication date: 22 March 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2701/27010001.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (3)

Unnamed Item ⋮ Termination checking with types ⋮ Compositional Coinduction with Sized Types

Uses Software

• Twelf

This page was built for publication: