Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Alan Sexton"'
Publikováno v:
Applied Geochemistry. 149:105559
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ccfed2e398062f95fc37bd86daab661
https://doi.org/10.1016/j.apgeochem.2023.105559
https://doi.org/10.1016/j.apgeochem.2023.105559
Autor:
Neil R. Banerjee, Lisa L. Van Loon, Alan Sexton, Trevor J. Flynn, Ramjay J. Botor, Hannah Cavallin
Publikováno v:
Microscopy and Microanalysis. 25:834-835
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::317a3d3dceb519b866c205f7431d0f91
https://doi.org/10.1017/s1431927619004902
https://doi.org/10.1017/s1431927619004902
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as fou
Autor:
Alan Sexton
This book constitutes the refereed proceedings of the 26th British National Conference on Databases, BNCOD 26, held in Birmingham, UK, in July 2009. The 12 revised full papers, 2 short papers and 5 poster papers presented together with 2 keynote talk
Autor:
Bertot, Yves
Publikováno v:
CICM-Conference on Intelligent Computer Mathematics
CICM-Conference on Intelligent Computer Mathematics, Jul 2014, Coimbra, Portugal
CICM-Conference on Intelligent Computer Mathematics, Jul 2014, Coimbra, Portugal
International audience; This short note reviews the relations between homotopy theory and type theory, especially the similarity between paths in homotopy and proofs of equality in type theory.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4571949c12f386bb7efca597d49036d5
https://hal.inria.fr/hal-00987248/file/paper.pdf
https://hal.inria.fr/hal-00987248/file/paper.pdf