Login / Signup
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus.
Álvaro García-Pérez
Pablo Nogueira
Published in:
J. Funct. Program. (2019)
Keyphrases
</>
abstract machine
artificial intelligence
database
data model
real time
information retrieval
search engine
computer vision
case study
optimal solution
knowledge representation
proof procedure