Initial Algebras of Terms with Binding and Algebraic Structure.
B. Jacobs, and A. Silva. Categories and Types in Logic, Language, and Physics, volume 8222 of Lecture Notes in Computer Science, page 211-234. Springer, (2014)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/birthday/JacobsS14
%A Jacobs, Bart
%A Silva, Alexandra
%B Categories and Types in Logic, Language, and Physics
%D 2014
%E Casadio, Claudia
%E Coecke, Bob
%E Moortgat, Michael
%E Scott, Philip J.
%I Springer
%K dblp
%P 211-234
%T Initial Algebras of Terms with Binding and Algebraic Structure.
%U http://dblp.uni-trier.de/db/conf/birthday/lambek2014.html#JacobsS14
%V 8222
%@ 978-3-642-54788-1
@inproceedings{conf/birthday/JacobsS14,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Jacobs, Bart and Silva, Alexandra},
biburl = {https://www.bibsonomy.org/bibtex/2e664f9b42f8eb76e6e69b94bcb49acef/dblp},
booktitle = {Categories and Types in Logic, Language, and Physics},
crossref = {conf/birthday/2014lambek},
editor = {Casadio, Claudia and Coecke, Bob and Moortgat, Michael and Scott, Philip J.},
ee = {https://doi.org/10.1007/978-3-642-54789-8_12},
interhash = {0a660bda36d91b204cc88b8a1ea0b164},
intrahash = {e664f9b42f8eb76e6e69b94bcb49acef},
isbn = {978-3-642-54788-1},
keywords = {dblp},
pages = {211-234},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T14:06:15.000+0200},
title = {Initial Algebras of Terms with Binding and Algebraic Structure.},
url = {http://dblp.uni-trier.de/db/conf/birthday/lambek2014.html#JacobsS14},
volume = 8222,
year = 2014
}
