research
∙
04/18/2019
Realizability in the Unitary Sphere
In this paper we present a semantics for a linear algebraic lambda-calcu...
share
research
∙
10/12/2018
Use your Google Account to sign in to DeepAI
