Add to ORKGWe introduce and study graphic lambda calculus, a visual language which can be used for representing untyped lambda calculus, but it can also be used for computations in emergent algebras or for representing Reidemeister moves of locally planar tangle diagrams.
In this paper we revisit the λ-calculus with patterns, originating from the practice of functional p...
Many calculi exist for modelling various features of object-oriented languages. Many of them are bas...
The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...
This version: 07.11.2012 In [5] was proposed a graphic lambda calculus formalism, which has sectors ...
While visual programming languages continue to gain popularity in domains ranging from scientific co...
AbstractThis paper introduces TILC: the interactive lambda-calculus tracer. TILC aims to be a friend...
Algorithm visualization is a subset of computer science in which educators build visual representati...
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream pr...
The lambda calculus is a formal symbolic term rewrite system that has been used for many years both ...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...
We offer a simple graphical representation for proofs of intuitionistic logic, which is inspired by ...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
Abstract *X is a diagrammatic calculus. This means that it describes programs by 2-dimensional diagr...
The lambda-bar-mu-mu-tilde-calculus, introduced by Curien and Herbelin, is a calculus isomorphic to ...
AbstractThe paper develops notation for strings of abstractors in typed lambda calculus, and shows h...
In this paper we revisit the λ-calculus with patterns, originating from the practice of functional p...
Many calculi exist for modelling various features of object-oriented languages. Many of them are bas...
The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...
This version: 07.11.2012 In [5] was proposed a graphic lambda calculus formalism, which has sectors ...
While visual programming languages continue to gain popularity in domains ranging from scientific co...
AbstractThis paper introduces TILC: the interactive lambda-calculus tracer. TILC aims to be a friend...
Algorithm visualization is a subset of computer science in which educators build visual representati...
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream pr...
The lambda calculus is a formal symbolic term rewrite system that has been used for many years both ...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...
We offer a simple graphical representation for proofs of intuitionistic logic, which is inspired by ...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
Abstract *X is a diagrammatic calculus. This means that it describes programs by 2-dimensional diagr...
The lambda-bar-mu-mu-tilde-calculus, introduced by Curien and Herbelin, is a calculus isomorphic to ...
AbstractThe paper develops notation for strings of abstractors in typed lambda calculus, and shows h...
In this paper we revisit the λ-calculus with patterns, originating from the practice of functional p...
Many calculi exist for modelling various features of object-oriented languages. Many of them are bas...
The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...