2 author = "Corrado B{\"o}hm",
\r
3 title = "Alcune propriet{\`a} delle Forme $\beta\eta$-normali nel
\r
4 $\lambda${K}-calcolo. ({Italian})",
\r
5 journal = "Pubblicazioni dell'IAC",
\r
10 @article{DBLP:journals/tcs/Huet93,
\r
11 author = {G{\'{e}}rard P. Huet},
\r
12 title = {An Analysis of {B}{\"{o}}hm's theorem},
\r
13 journal = {Theor. Comput. Sci.},
\r
18 url = {https://doi.org/10.1016/0304-3975(93)90087-A},
\r
19 doi = {10.1016/0304-3975(93)90087-A},
\r
20 timestamp = {Sun, 28 May 2017 13:20:07 +0200},
\r
21 biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/Huet93},
\r
22 bibsource = {dblp computer science bibliography, http://dblp.org}
\r
26 author = {J.-H. Morris},
\r
27 title = {Lambda-calculus models of programming languages},
\r
32 @inproceedings{DBLP:conf/lics/Saurin05,
\r
33 author = {Alexis Saurin},
\r
34 title = {Separation with Streams in the $\lambda\mu$-calculus},
\r
35 booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
\r
36 26-29 June 2005, Chicago, IL, USA, Proceedings},
\r
39 crossref = {DBLP:conf/lics/2005},
\r
40 url = {https://doi.org/10.1109/LICS.2005.48},
\r
41 doi = {10.1109/LICS.2005.48},
\r
42 timestamp = {Thu, 25 May 2017 00:42:40 +0200},
\r
43 biburl = {http://dblp.uni-trier.de/rec/bib/conf/lics/Saurin05},
\r
44 bibsource = {dblp computer science bibliography, http://dblp.org}
\r
46 @proceedings{DBLP:conf/lics/2005,
\r
47 title = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
\r
48 26-29 June 2005, Chicago, IL, USA, Proceedings},
\r
49 publisher = {{IEEE} Computer Society},
\r
51 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10087},
\r
52 isbn = {0-7695-2266-1},
\r
53 timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
\r
54 biburl = {http://dblp.uni-trier.de/rec/bib/conf/lics/2005},
\r
55 bibsource = {dblp computer science bibliography, http://dblp.org}
\r
58 @inproceedings{DBLP:conf/cade/Gacek08,
\r
59 author = {Andrew Gacek},
\r
60 title = {The Abella Interactive Theorem Prover ({System} Description)},
\r
61 booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
\r
62 Sydney, Australia, August 12-15, 2008, Proceedings},
\r
65 crossref = {DBLP:conf/cade/2008},
\r
66 url = {https://doi.org/10.1007/978-3-540-71070-7_13},
\r
67 doi = {10.1007/978-3-540-71070-7_13},
\r
68 timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
\r
69 biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/Gacek08},
\r
70 bibsource = {dblp computer science bibliography, http://dblp.org}
\r
72 @proceedings{DBLP:conf/cade/2008,
\r
73 editor = {Alessandro Armando and
\r
74 Peter Baumgartner and
\r
76 title = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
\r
77 Sydney, Australia, August 12-15, 2008, Proceedings},
\r
78 series = {Lecture Notes in Computer Science},
\r
80 publisher = {Springer},
\r
82 url = {https://doi.org/10.1007/978-3-540-71070-7},
\r
83 doi = {10.1007/978-3-540-71070-7},
\r
84 isbn = {978-3-540-71069-1},
\r
85 timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
\r
86 biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/2008},
\r
87 bibsource = {dblp computer science bibliography, http://dblp.org}
\r
90 @inproceedings{DBLP:conf/lics/AccattoliC15,
\r
91 author = {Beniamino Accattoli and
\r
92 Claudio Sacerdoti Coen},
\r
93 title = {On the Relative Usefulness of Fireballs},
\r
94 booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
\r
95 2015, Kyoto, Japan, July 6-10, 2015},
\r
98 crossref = {DBLP:conf/lics/2015},
\r
99 url = {https://doi.org/10.1109/LICS.2015.23},
\r
100 doi = {10.1109/LICS.2015.23},
\r
101 timestamp = {Thu, 15 Jun 2017 21:41:13 +0200},
\r
102 biburl = {http://dblp.uni-trier.de/rec/bib/conf/lics/AccattoliC15},
\r
103 bibsource = {dblp computer science bibliography, http://dblp.org}
\r
105 @proceedings{DBLP:conf/lics/2015,
\r
106 title = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
\r
107 2015, Kyoto, Japan, July 6-10, 2015},
\r
108 publisher = {{IEEE} Computer Society},
\r
110 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174833},
\r
111 isbn = {978-1-4799-8875-4},
\r
112 timestamp = {Wed, 25 May 2016 10:19:57 +0200},
\r
113 biburl = {http://dblp.uni-trier.de/rec/bib/conf/lics/2015},
\r
114 bibsource = {dblp computer science bibliography, http://dblp.org}
\r
117 @article{BOHM1979271,
\r
118 title = "A discrimination algorithm inside $\lambda$-$\beta$-calculus",
\r
119 journal = "Theoretical Computer Science",
\r
122 pages = "271 - 291",
\r
125 issn = "0304-3975",
\r
126 doi = "http://dx.doi.org/10.1016/0304-3975(79)90014-8",
\r
127 author = "C. B{\"o}hm and M. Dezani-Ciancaglini and P. Peretti and S. Ronchi Della Rocca",
\r