scientific article
From MaRDI portal
Publication:2763683
zbMath0977.68015MaRDI QIDQ2763683
Shin-ya Katsumata, Atsushi Ohori
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280352
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20) Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication:
