Mercurial Mercurial > hg > nominal2 / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Quotient-Paper/document/root.bib
changeset 2226 36c9d9e658c7
parent 2220 2c4c0d93daa6
child 2237 d1ab5d2d6926
equal deleted inserted replaced
2225:cbffed7d81bd 2226:36c9d9e658c7 
    35 
    35 
    36 @inproceedings{ChicliPS02,
 
    36 @inproceedings{ChicliPS02,
 
    37   author    = {Laurent Chicli and
 
    37   author    = {Laurent Chicli and
 
    38                Loic Pottier and
 
    38                Loic Pottier and
 
    39                Carlos Simpson},
 
    39                Carlos Simpson},
 
    40   title     = {Mathematical Quotients and Quotient Types in Coq},
 
    40   title     = {{M}athematical {Q}uotients and {Q}uotient {T}ypes in {C}oq},
 
    41   booktitle = {TYPES},
 
    41   booktitle = {TYPES},
 
    42   year      = {2002},
 
    42   year      = {2002},
 
    43   pages     = {95-107},
 
    43   pages     = {95-107},
 
    44   ee        = {http://link.springer.de/link/service/series/0558/bibs/2646/26460095.htm},
 
    44   ee        = {http://link.springer.de/link/service/series/0558/bibs/2646/26460095.htm},
 
    45   crossref  = {DBLP:conf/types/2002},
 
    45   crossref  = {DBLP:conf/types/2002},
nominal2