Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.

Bert Lindenhovius Michael W. Mislove Vladimir Zamdzhiev

Published in: CoRR (2018)

Keyphrases

programming language
lambda calculus
general purpose
object oriented
high level
logic programming
software engineering
strongly typed
data structure
computer programs
higher order