M. Escardó
发表
Paulo Oliva,
M. Escardó,
2011,
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.
J. Lawson,
M. Escardó,
A. Simpson,
2004
.
M. Escardó,
2022
.
Martín Hötzel Escardó,
Reinhold Heckmann,
R. Heckmann,
2001
.
M. Escardó,
Mart́ın Hötzel Escardó,
1998
.
Martín Hötzel Escardó,
M. Escardó,
2002
.
M. Escardó,
2012
.
Abbas Edalat,
Martín Hötzel Escardó,
M. Escardó,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
T. Streicher,
M. Escardó,
2002,
Math. Log. Q..
M. Escardó,
A. Simpson,
2017
.
Martín Hötzel Escardó,
Paulo Oliva,
Paulo Oliva,
2012,
Turing-100.
Martín Hötzel Escardó,
M. Escardó,
2004,
DTMPP.
Martín Hötzel Escardó,
M. Escardó,
1997
.
M. Escardó,
A. Edalat,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Martín Hötzel Escardó,
M. Escardó,
1997,
COMPROX.
Martín Hötzel Escardó,
M. Escardó,
2008,
Log. Methods Comput. Sci..
Martín Hötzel Escardó,
M. Escardó,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Thomas Streicher,
Martín Hötzel Escardó,
T. Streicher,
1999,
Theor. Comput. Sci..
Martín Hötzel Escardó,
M. Escardó,
1998
.
Thomas Streicher,
Martín Hötzel Escardó,
T. Streicher,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Martín Hötzel Escardó,
M. Escardó,
2001
.
Martín Hötzel Escardó,
Cory M. Knapp,
M. Escardó,
2017,
CSL.
Thierry Coquand,
Thorsten Altenkirch,
Martín Hötzel Escardó,
2016,
Log. Methods Comput. Sci..
Martín Hötzel Escardó,
Chuangjie Xu,
M. Escardó,
2015,
TLCA.
Martín Hötzel Escardó,
M. Escardó,
2003,
Appl. Categorical Struct..
Martín Hötzel Escardó,
Dusko Pavlovic,
Dusko Pavlovic,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Thomas Streicher,
Martín Hötzel Escardó,
T. Streicher,
2016,
Ann. Pure Appl. Log..
J. Lawson,
M. Escardó,
A. Simpson,
2004
.
Andrej Bauer,
Martín Hötzel Escardó,
Alex K. Simpson,
2002,
ICALP.
M. Escardó,
2012
.
M. Escardó,
2020,
2001.06050.
Martín Hötzel Escardó,
M. Escardó,
1996,
Theor. Comput. Sci..
M. Escardó,
2021
.
Martín Hötzel Escardó,
M. Escardó,
2013,
The Journal of Symbolic Logic.
Martin Hofmann,
Thomas Streicher,
Martín Hötzel Escardó,
2004,
Mathematical Structures in Computer Science.
Abbas Edalat,
Martín Hötzel Escardó,
M. Escardó,
1996,
LICS 1996.
Martín Hötzel Escardó,
Alex K. Simpson,
M. Escardó,
2014,
RTA-TLCA.
Martín Hötzel Escardó,
M. Escardó,
2013,
MFPS.
Martín Hötzel Escardó,
M. Escardó,
2006,
Ann. Pure Appl. Log..
Martín Hötzel Escardó,
M. Escardó,
1999,
MFPS.
Martín Hötzel Escardó,
M. Escardó,
1993,
SIGA.
Martín Hötzel Escardó,
M. Escardó,
2003
.
Martín Hötzel Escardó,
Paulo Oliva,
Paulo Oliva,
2010,
Mathematical Structures in Computer Science.
Paulo Oliva,
M. Escardó,
Oliva,
2010
.
M. Escardó,
2020,
Journal of Homotopy and Related Structures.