James Lipton
发表
James Lipton,
1968
.
James Lipton,
2009
.
James Lipton,
1990
.
James Lipton,
1990
.
James Lipton,
1992
.
James Lipton,
Gunther Schmidt,
A. Jaoua,
1998
.
James Lipton,
S. Kleene,
James Lipton,
2007
.
James Lipton,
2022
.
James Lipton,
E. J. G. Arias,
J. Mariño,
2016
.
James Lipton,
James Lipton,
Emily Chapman,
1998
.
Cut Elimination in the Intuitionistic Theory of Types with Axioms and Rewriting Cuts, Constructively
James Lipton,
O. Hermant,
2008
.
James Lipton,
ProgramsGianlu a Amato,
2001
.
Emilio Jesús Gallego Arias,
Julio Mariño-Carballo,
James Lipton,
2011,
Log. J. IGPL.
Michael J. O'Donnell,
James Lipton,
James Lipton,
1994,
MFCS.
Jawahar Chirimar,
James Lipton,
James Lipton,
1991,
CSL.
James Lipton,
Robert W. McGrail,
Robert McGrail,
1998,
PLILP/ALP.
James Lipton,
D. Krizanc,
2022
.
James Lipton,
1991
.
Robert W. McGrail,
James Lipton,
G. Amato,
2009,
Theor. Comput. Sci..
James Lipton,
Olivier Hermant,
James Lipton,
2008,
CSL.
James Lipton,
Mary DeMarco,
James Lipton,
2005,
J. Log. Comput..
Emilio Jesús Gallego Arias,
Julio Mariño-Carballo,
James Lipton,
2014,
LOPSTR.
James Lipton,
Peter J. Freyd,
Stacy E. Finkelstein,
2003,
Theor. Comput. Sci..
Gianluca Amato,
James Lipton,
James Lipton,
2001,
LPAR.
Gianluca Amato,
James Lipton,
Robert W. McGrail,
2009,
Theor. Comput. Sci..
James Lipton,
Peter J. Freyd,
Stacy E. Finkelstein,
1994,
CSL.
James Lipton,
Susana Nieva,
James Lipton,
2017,
Theor. Comput. Sci..
James Lipton,
Susana Nieva,
James Lipton,
2007,
TLCA.
James Lipton,
James Lipton,
1992,
Constructivity in Computer Science.
Michael J. O'Donnell,
James Lipton,
James Lipton,
1996,
Ann. Pure Appl. Log..