scientific article
From MaRDI portal
Publication:4012875
zbMath0754.03011MaRDI QIDQ4012875
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Artificial intelligence (68T99) Combinatory logic and lambda calculus (03B40) Other applications of logic (03B80)
Related Items (5)
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey ⋮ Virtual worlds as meeting places for formal systems ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ N. G. de Bruijn's contribution to the formalization of mathematics ⋮ Towards an integration science. The influence of Richard Bellman on our research.
This page was built for publication:
