Login / Signup
Finitary Corecursion for the Infinitary Lambda Calculus.
Stefan Milius
Thorsten Wißmann
Published in:
CoRR (2015)
Keyphrases
</>
lambda calculus
finite state
programming language
predicate calculus
database query languages
program understanding
complex objects
higher order
model checking
predicate logic
formal model
artificial intelligence
first order logic
software systems
object oriented
data structure
case study