Combinator evaluation of functional programs with logical...

Higher-Order and Symbolic Computation 1990 / 09 Vol. 3; Iss. 3

Combinator evaluation of functional programs with logical variables

Göran Båge, Gary Lindstrom
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
3
Language:
english
Pages:
32
DOI:
10.1007/bf01806101
Date:
September, 1990
File:
PDF, 1.83 MB
english, 1990
Conversion to is in progress
Conversion to is failed