scientific article; zbMATH DE number 1841833
From MaRDI portal
Publication:4783321
zbMath0999.03013MaRDI QIDQ4783321
Publication date: 4 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420399
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Computability of a function with jumps: Effective uniformity and limiting recursion ⋮ An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.
This page was built for publication:
