Andrea Ferenczová

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Data Abstraction

Predicate Calculus

Top Venues

Publications

Andrea Ferenczová, Ján Perhác
Interactive Web-Based Interpreter of the $\lambda$-Calculus. SISY (2023)