38 citations
- University College LondonGB10 papers
- University of Rome Tor VergataIT9 papers
- Vrije Universiteit BrusselBE9 papers
- Chinese University of Hong KongHK8 papers
- Gran Sasso Science InstituteIT8 papers
- Istituto Nazionale di Fisica NucleareIT8 papers
- National Institute for AstrophysicsIT8 papers
- Observatoire de ParisFR8 papers
- Rutherford Appleton LaboratoryGB8 papers
- The University of TokyoJP8 papers
- Université de RennesFR8 papers
- Université Paris CitéFR8 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Expressivity of AuDaLa: Turing Completeness and Possible Extensions
Tom T. P. Franken, Thomas Neele
AuDaLa is a recently introduced programming language that follows the new data autonomous paradigm. In this paradigm, small pieces of data execute functions autonomously. Consideri…
cs.LO2026
An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
Rob Nederpelt, Ferruccio Guidi
Terms in the lambda-calculus can be represented as planar trees decorated with symbols for abstraction and application, and having variables as leaves. In this paper, we concentrat…
cs.LO2026
Initial Algebras of Domains via Quotient Inductive-Inductive Types
Simcha van Collem, Niels van der Weide, Herman Geuvers
Domain theory has been developed as a mathematical theory of computation and to give a denotational semantics to programming languages. It helps us to fix the meaning of language c…