Open AccessInjectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion
Author(s) -
Giulio Guerrieri,
Lorenzo Tortora de Falco,
Luc Pellissier
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - axiom , injective function , semantics (computer science) , structural proof theory , taylor series , relational calculus , mathematics , computer science , calculus (dental) , discrete mathematics , relational database , programming language , proof theory , relational model , medicine , information retrieval , mathematical proof , mathematical analysis , geometry , dentistry