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

Bert Lindenhovius Michael W. Mislove Vladimir Zamdzhiev

Published in: LICS (2018)

Keyphrases

programming language
lambda calculus
general purpose
object oriented
high level
logic programming
strongly typed
software engineering
data structure
functional programming
database systems
database applications
high level programming language