Nicolas Oury
发表
Nicolas Oury,
N. Oury,
2003,
TLCA.
Nicolas Oury,
2005,
TPHOLs.
Matthieu Sozeau,
Nicolas Oury,
Matthieu Sozeau,
2008,
TPHOLs.
Andrew Phillips,
Nicolas Oury,
Michael Pedersen,
2014,
Bioinform..
Thorsten Altenkirch,
Nils Anders Danielsson,
Andres Löh,
2010,
FLOPS.
Vincent Danos,
Nicolas Oury,
2010,
DCM.
Gordon D. Plotkin,
Nicolas Oury,
G. Plotkin,
2013,
Mathematical Structures in Computer Science.
Wouter Swierstra,
Nicolas Oury,
2008,
ICFP.
Gordon D. Plotkin,
Nicolas Oury,
G. Plotkin,
2011,
CMSB.
Nicolas Oury,
2007,
PLPV '07.
Ohad Kammar,
Sam Lindley,
Nicolas Oury,
2013,
ICFP.
Vincent Danos,
Nicolas Oury,
V. Danos,
2013,
Mathematical Structures in Computer Science.
Nicolas Oury,
Michael Pedersen,
Rasmus L. Petersen,
2013,
CompMod.
Thorsten Altenkirch,
Nicolas Oury,
2008
.