]> matita.cs.unibo.it Git - fireball-separation.git/blob - marco polo/statement.bib
Ultime modifiche. Andrea scappa all'estero. Au revoir
[fireball-separation.git] / marco polo / statement.bib
1 @article{bohm,\r
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
6  volume =       "696:119",\r
7  year =         "1968"\r
8 }\r
9 \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
14   volume    = {121},\r
15   number    = {1{\&}2},\r
16   pages     = {145--167},\r
17   year      = {1993},\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
23 }\r
24 \r
25 @phdthesis{morris,\r
26   author       = {J.-H. Morris},\r
27   title        = {Lambda-calculus models of programming languages},\r
28   school       = {M.I.T.},\r
29   year         = 1968,\r
30 }\r
31 \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
37   pages     = {356--365},\r
38   year      = {2005},\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
45 }\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
50   year      = {2005},\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
56 }\r
57 \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
63   pages     = {154--161},\r
64   year      = {2008},\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
71 }\r
72 @proceedings{DBLP:conf/cade/2008,\r
73   editor    = {Alessandro Armando and\r
74                Peter Baumgartner and\r
75                Gilles Dowek},\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
79   volume    = {5195},\r
80   publisher = {Springer},\r
81   year      = {2008},\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
88 }\r
89 \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
96   pages     = {141--155},\r
97   year      = {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
104 }\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
109   year      = {2015},\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
115 }\r
116 \r
117 @article{BOHM1979271,\r
118 title = "A discrimination algorithm inside $\lambda$-$\beta$-calculus",\r
119 journal = "Theoretical Computer Science",\r
120 volume = "8",\r
121 number = "3",\r
122 pages = "271 - 291",\r
123 year = "1979",\r
124 note = "",\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
128 }\r