Interactive Web-Based Interpreter of the $\lambda$-Calculus.

Andrea Ferenczová Ján Perhác

Published in: SISY (2023)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
software engineering
higher order
high level
object oriented
general purpose
complex objects
data structure
data model
data abstraction