scientific article; zbMATH DE number 1301739
From MaRDI portal
Publication:4246952
zbMath0927.03025MaRDI QIDQ4246952
Tobias Nipkow, Wolfgang Naraschewski
Publication date: 13 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
simply typed lambda calculustype inference algorithmcomputation of the most general typemachine-checked proof of correctness and completenessMini-ML
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Uses Software
This page was built for publication:
