A concrete model for a typed linear algebraic lambda calculus.

Alejandro Díaz-Caro Octavio Malherbe

Published in: Math. Struct. Comput. Sci. (2024)

Keyphrases

formal model
database
conceptual model