Inproceedings,
Modelling the way mathematics is actually done.
J. Corneli, U. Martin, D. Murray-Rust, A. Pease, R. Puzio, and G. Nesin.FARM@ICFP, page 10-19. ACM, (2017)
Meta data
- BibTeX key
- conf/icfp/CorneliMMPPN17
- entry type
- inproceedings
- booktitle
- FARM@ICFP
- year
- 2017
- pages
- 10-19
- publisher
- ACM
- crossref
- conf/icfp/2017farm
- ee
- https://doi.org/10.1145/3122938.3122942
- isbn
- 978-1-4503-5180-5
- url
- http://dblp.uni-trier.de/db/conf/icfp/farm2017.html#CorneliMMPPN17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icfp/CorneliMMPPN17
%A Corneli, Joseph
%A Martin, Ursula
%A Murray-Rust, Dave
%A Pease, Alison
%A Puzio, Raymond
%A Nesin, Gabriela Rino
%B FARM@ICFP
%D 2017
%E Sperber, Michael
%E Bresson, Jean
%I ACM
%K dblp
%P 10-19
%T Modelling the way mathematics is actually done.
%U http://dblp.uni-trier.de/db/conf/icfp/farm2017.html#CorneliMMPPN17
%@ 978-1-4503-5180-5
@inproceedings{conf/icfp/CorneliMMPPN17,
added-at = {2021-04-09T00:00:00.000+0200},
author = {Corneli, Joseph and Martin, Ursula and Murray-Rust, Dave and Pease, Alison and Puzio, Raymond and Nesin, Gabriela Rino},
biburl = {https://www.bibsonomy.org/bibtex/2ff39b3f58956c063a8cbe1b8cf8a8104/dblp},
booktitle = {FARM@ICFP},
crossref = {conf/icfp/2017farm},
editor = {Sperber, Michael and Bresson, Jean},
ee = {https://doi.org/10.1145/3122938.3122942},
interhash = {e55ecd6d9b55d1624880e3b109963b4a},
intrahash = {ff39b3f58956c063a8cbe1b8cf8a8104},
isbn = {978-1-4503-5180-5},
keywords = {dblp},
pages = {10-19},
publisher = {ACM},
timestamp = {2024-04-09T17:30:49.000+0200},
title = {Modelling the way mathematics is actually done.},
url = {http://dblp.uni-trier.de/db/conf/icfp/farm2017.html#CorneliMMPPN17},
year = 2017
}