added soem
This commit is contained in:
parent
9d5af0bf18
commit
6b343db432
10
math.bib
10
math.bib
|
@ -272,6 +272,16 @@
|
||||||
author = {Van Heijenoort, Jean}
|
author = {Van Heijenoort, Jean}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Article{wadler1991linear,
|
||||||
|
pages = {255--273},
|
||||||
|
number = {9},
|
||||||
|
volume = {26},
|
||||||
|
year = {1991},
|
||||||
|
journaltitle = {ACM SIGPLAN Notices},
|
||||||
|
title = {Is there a use for linear logic?},
|
||||||
|
author = {Wadler, Philip}
|
||||||
|
}
|
||||||
|
|
||||||
@Comment{
|
@Comment{
|
||||||
Local Variables:
|
Local Variables:
|
||||||
bibtex-dialect: biblatex
|
bibtex-dialect: biblatex
|
||||||
|
|
|
@ -182,6 +182,14 @@
|
||||||
year = 2014
|
year = 2014
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@InBook{grice1975logic,
|
||||||
|
publisher = {Brill},
|
||||||
|
booktitle = {Speech Acts},
|
||||||
|
author = {Grice, Herbert P.},
|
||||||
|
year = {1975},
|
||||||
|
title = {Logic and conversation}
|
||||||
|
}
|
||||||
|
|
||||||
@PhDThesis{heim1982semantics,
|
@PhDThesis{heim1982semantics,
|
||||||
year = {1982},
|
year = {1982},
|
||||||
institution = {University of Massachusetts, Amherst},
|
institution = {University of Massachusetts, Amherst},
|
||||||
|
|
Loading…
Reference in New Issue