Building Models of Linear Logic

Valeria de Paiva; Andrea Schalk; Armando Martin Haeberer

Building Models of Linear Logic

Valeria de Paiva, Andrea Schalk, Armando Martin Haeberer (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	AMAST
Editors	Armando Martin Haeberer
Publisher	Springer Nature
Pages	164-177
Number of pages	14
Volume	1548
ISBN (Print)	3-540-65462-3
Publication status	Published - 1998
Event	Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/amast/amast98.html#PaivaS98http://dblp.uni-trier.de/rec/bibtex/conf/amast/PaivaS98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/amast/PaivaS98

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/amast/amast98.html#PaivaS98http://dblp.uni-trier.de/rec/bibtex/conf/amast/PaivaS98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/amast/PaivaS98

Access to Document

Cite this

@inproceedings{6dda8d6c70cc47bbb39d25d665ca4886,

title = "Building Models of Linear Logic",

author = "Paiva, \{Valeria de\} and Andrea Schalk and Haeberer, \{Armando Martin\}",

year = "1998",

language = "English",

isbn = "3-540-65462-3",

volume = "1548",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "164--177",

editor = "Haeberer, \{Armando Martin\}",

booktitle = "AMAST",

address = "United States",

note = "Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/amast/amast98.html\#PaivaS98http://dblp.uni-trier.de/rec/bibtex/conf/amast/PaivaS98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/amast/PaivaS98",

}

Paiva, VD, Schalk, A & Haeberer, AM (ed.) 1998, Building Models of Linear Logic. in AM Haeberer (ed.), AMAST. vol. 1548, Lecture Notes in Computer Science, Springer Nature, pp. 164-177, Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/amast/amast98.html#PaivaS98>

TY - GEN

T1 - Building Models of Linear Logic

AU - Paiva, Valeria de

AU - Schalk, Andrea

A2 - Haeberer, Armando Martin

PY - 1998

Y1 - 1998

M3 - Conference contribution

SN - 3-540-65462-3

VL - 1548

T3 - Lecture Notes in Computer Science

SP - 164

EP - 177

BT - AMAST

PB - Springer Nature

T2 - Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings

Y2 - 1 January 1824

ER -