Relational type-checking for MELL proof-structures. Part 1: Multiplicatives.

Giulio Guerrieri Luc Pellissier Lorenzo Tortora de Falco

Published in: CoRR (2016)

Keyphrases

type checking
database query languages
relational calculus
data types
relational databases
relational algebra
query processor
data model
relational data
abstract data types
expressive power
query language
general purpose
relational model
database schema