+++ /dev/null
-@article{bohm,\r
- author = "Corrado B{\"o}hm",\r
- title = "Alcune propriet{\`a} delle Forme $\beta\eta$-normali nel\r
- $\lambda${K}-calcolo. ({Italian})",\r
- journal = "Pubblicazioni dell'IAC",\r
- volume = "696:119",\r
- year = "1968"\r
-}\r
-\r
-@article{DBLP:journals/tcs/Huet93,\r
- author = {G{\'{e}}rard P. Huet},\r
- title = {An Analysis of {B}{\"{o}}hm's theorem},\r
- journal = {Theor. Comput. Sci.},\r
- volume = {121},\r
- number = {1{\&}2},\r
- pages = {145--167},\r
- year = {1993},\r
- url = {https://doi.org/10.1016/0304-3975(93)90087-A},\r
- doi = {10.1016/0304-3975(93)90087-A},\r
- timestamp = {Sun, 28 May 2017 13:20:07 +0200},\r
- biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/Huet93},\r
- bibsource = {dblp computer science bibliography, http://dblp.org}\r
-}\r
-\r
-@phdthesis{morris,\r
- author = {J.-H. Morris},\r
- title = {Lambda-calculus models of programming languages},\r
- school = {M.I.T.},\r
- year = 1968,\r
-}\r
-\r
-@inproceedings{DBLP:conf/lics/Saurin05,\r
- author = {Alexis Saurin},\r
- title = {Separation with Streams in the $\lambda\mu$-calculus},\r
- booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),\r
- 26-29 June 2005, Chicago, IL, USA, Proceedings},\r
- pages = {356--365},\r
- year = {2005},\r
- crossref = {DBLP:conf/lics/2005},\r
- url = {https://doi.org/10.1109/LICS.2005.48},\r
- doi = {10.1109/LICS.2005.48},\r
- timestamp = {Thu, 25 May 2017 00:42:40 +0200},\r
- biburl = {http://dblp.uni-trier.de/rec/bib/conf/lics/Saurin05},\r
- bibsource = {dblp computer science bibliography, http://dblp.org}\r
-}\r
-@proceedings{DBLP:conf/lics/2005,\r
- title = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),\r
- 26-29 June 2005, Chicago, IL, USA, Proceedings},\r
- publisher = {{IEEE} Computer Society},\r
- year = {2005},\r
- url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10087},\r
- isbn = {0-7695-2266-1},\r
- timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},\r
- biburl = {http://dblp.uni-trier.de/rec/bib/conf/lics/2005},\r
- bibsource = {dblp computer science bibliography, http://dblp.org}\r
-}\r
-\r
-@inproceedings{DBLP:conf/cade/Gacek08,\r
- author = {Andrew Gacek},\r
- title = {The Abella Interactive Theorem Prover ({System} Description)},\r
- booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,\r
- Sydney, Australia, August 12-15, 2008, Proceedings},\r
- pages = {154--161},\r
- year = {2008},\r
- crossref = {DBLP:conf/cade/2008},\r
- url = {https://doi.org/10.1007/978-3-540-71070-7_13},\r
- doi = {10.1007/978-3-540-71070-7_13},\r
- timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},\r
- biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/Gacek08},\r
- bibsource = {dblp computer science bibliography, http://dblp.org}\r
-}\r
-@proceedings{DBLP:conf/cade/2008,\r
- editor = {Alessandro Armando and\r
- Peter Baumgartner and\r
- Gilles Dowek},\r
- title = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,\r
- Sydney, Australia, August 12-15, 2008, Proceedings},\r
- series = {Lecture Notes in Computer Science},\r
- volume = {5195},\r
- publisher = {Springer},\r
- year = {2008},\r
- url = {https://doi.org/10.1007/978-3-540-71070-7},\r
- doi = {10.1007/978-3-540-71070-7},\r
- isbn = {978-3-540-71069-1},\r
- timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},\r
- biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/2008},\r
- bibsource = {dblp computer science bibliography, http://dblp.org}\r
-}\r
-\r
-@inproceedings{DBLP:conf/lics/AccattoliC15,\r
- author = {Beniamino Accattoli and\r
- Claudio Sacerdoti Coen},\r
- title = {On the Relative Usefulness of Fireballs},\r
- booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}\r
- 2015, Kyoto, Japan, July 6-10, 2015},\r
- pages = {141--155},\r
- year = {2015},\r
- crossref = {DBLP:conf/lics/2015},\r
- url = {https://doi.org/10.1109/LICS.2015.23},\r
- doi = {10.1109/LICS.2015.23},\r
- timestamp = {Thu, 15 Jun 2017 21:41:13 +0200},\r
- biburl = {http://dblp.uni-trier.de/rec/bib/conf/lics/AccattoliC15},\r
- bibsource = {dblp computer science bibliography, http://dblp.org}\r
-}\r
-@proceedings{DBLP:conf/lics/2015,\r
- title = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}\r
- 2015, Kyoto, Japan, July 6-10, 2015},\r
- publisher = {{IEEE} Computer Society},\r
- year = {2015},\r
- url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174833},\r
- isbn = {978-1-4799-8875-4},\r
- timestamp = {Wed, 25 May 2016 10:19:57 +0200},\r
- biburl = {http://dblp.uni-trier.de/rec/bib/conf/lics/2015},\r
- bibsource = {dblp computer science bibliography, http://dblp.org}\r
-}\r
-\r
-@article{BOHM1979271,\r
-title = "A discrimination algorithm inside $\lambda$-$\beta$-calculus",\r
-journal = "Theoretical Computer Science",\r
-volume = "8",\r
-number = "3",\r
-pages = "271 - 291",\r
-year = "1979",\r
-note = "",\r
-issn = "0304-3975",\r
-doi = "http://dx.doi.org/10.1016/0304-3975(79)90014-8",\r
-author = "C. B{\"o}hm and M. Dezani-Ciancaglini and P. Peretti and S. Ronchi Della Rocca",\r
-}\r