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 {T}heorem},
\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{\(\mathrm{\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