scientific article; zbMATH DE number 2086646
From MaRDI portal
Publication:4737182
zbMath1056.68057MaRDI QIDQ4737182
Martín Hötzel Escardó, Andrej Bauer, Alex K. Simpson
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800488.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Continuous lattices and posets, applications (06B35) Applications of computability and recursion theory (03D80)
This page was built for publication:
