Steffen van Bakel
发表
Steffen van Bakel,
Maria Grazia Vigliotti,
2014,
CL&C.
Steffen van Bakel,
S. V. Bakel,
1996,
Fundam. Informaticae.
Steffen van Bakel,
Ugo de'Liguoro,
Franco Brabanera,
2011,
TLCA 2011.
Steffen van Bakel,
2008,
BCS Int. Acad. Conf..
Steffen van Bakel,
2002,
Electron. Notes Theor. Comput. Sci..
Steffen van Bakel,
Jayshan Raghunandan,
2006
.
Luigi Liquori,
Pawel Urzyczyn,
Simona Ronchi Della Rocca,
1997,
Ann. Pure Appl. Log..
Steffen van Bakel,
Sjaak Smetsers,
Simon Brock,
1992
.
Steffen van Bakel,
2019,
PPDP.
Steffen van Bakel,
S. V. Bakel,
1992,
Theor. Comput. Sci..
Steffen van Bakel,
Ugo de'Liguoro,
Franco Barbanera,
2017,
J. Log. Algebraic Methods Program..
Reuben N. S. Rowe,
Steffen van Bakel,
R. Rowe,
2014,
Theor. Comput. Sci..
Philippa Gardner,
Steffen van Bakel,
S. V. Bakel,
2013
.
Reuben N. S. Rowe,
Steffen van Bakel,
R. Rowe,
2013,
The Beauty of Functional Code.
Steffen van Bakel,
2010,
Ann. Pure Appl. Log..
Mariangiola Dezani-Ciancaglini,
Steffen van Bakel,
Fer-Jan de Vries,
2002,
Theor. Comput. Sci..
L O ] 22 S ep 2 01 1 From X to π Representing the Classical Sequent Calculus in the π-calculus Extended
pdf
Luca Cardelli,
Steffen van Bakel,
Maria Grazia Vigliotti,
2011
.
Steffen van Bakel,
S. V. Bakel,
1995,
Theor. Comput. Sci..
Steffen van Bakel,
Pierre Lescanne,
2008,
Math. Struct. Comput. Sci..
Steffen van Bakel,
Ugo de'Liguoro,
Franco Barbanera,
2017,
Log. Methods Comput. Sci..
Steffen van Bakel,
Maria Grazia Vigliotti,
M. Vigliotti,
2012,
IFIP TCS.
Steffen van Bakel,
S. V. Bakel,
2011,
ArXiv.
Steffen van Bakel,
2005,
Electron. Notes Theor. Comput. Sci..
Steffen van Bakel,
Ugo de'Liguoro,
Franco Barbanera,
2012,
ITRS.
Steffen van Bakel,
2018,
TOCL.
Steffen van Bakel,
S. V. Bakel,
1993,
J. Log. Comput..
Steffen van Bakel,
S. V. Bakel,
2003,
ITRS.
Steffen van Bakel,
Stéphane Lengrand,
Pierre Lescanne,
2005,
ICTCS.
Steffen van Bakel,
S. V. Bakel,
2008,
Theor. Comput. Sci..
Steffen van Bakel,
Ulrich Kohlenbach,
Stefano Berardi,
2016
.
Luigi Liquori,
Pawel Urzyczyn,
Simona Ronchi Della Rocca,
1994,
LFCS.
Steffen van Bakel,
Sjaak Smetsers,
Simon Brock,
1992,
CAAP.
Maribel Fernández,
Steffen van Bakel,
Franco Barbanera,
1996,
ESOP.
Steffen van Bakel,
Maria Grazia Vigliotti,
2011,
ArXiv.
Daniel J. Dougherty,
Mariangiola Dezani-Ciancaglini,
Steffen van Bakel,
2004,
Inf. Comput..
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
2003,
Theor. Comput. Sci..
Steffen van Bakel,
Maria Grazia Vigliotti,
John K. Heath,
2008,
Electron. Notes Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Steffen van Bakel,
M. Dezani-Ciancaglini,
2002,
LATIN.
Steffen van Bakel,
2010,
ITRS.
Steffen van Bakel,
S. V. Bakel,
1993,
FSTTCS.
Steffen van Bakel,
Ugo de'Liguoro,
2005,
ICTCS.
Reuben N. S. Rowe,
Steffen van Bakel,
R. Rowe,
2009,
FTfJP@ECOOP.
Steffen van Bakel,
2002,
Electron. Notes Theor. Comput. Sci..
Luca Cardelli,
Steffen van Bakel,
Maria Grazia Vigliotti,
2014
.
Steffen van Bakel,
S. V. Bakel,
2004,
Notre Dame J. Formal Log..
Steffen van Bakel,
Ugo de'Liguoro,
Franco Barbanera,
2011,
TLCA.
Ulrich Berger,
Steffen van Bakel,
Stefano Berardi,
2013,
Annals of Pure and Applied Logic.
Steffen van Bakel,
Jayshan Raghunandan,
2005,
Electron. Notes Theor. Comput. Sci..
Ulrich Berger,
Steffen van Bakel,
Stefano Berardi,
2011
.
Steffen van Bakel,
S. V. Bakel,
2011,
ACM Comput. Surv..
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
1995,
HOA.
Steffen van Bakel,
Stefano Berardi,
2008,
Ann. Pure Appl. Log..
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
1993,
HOA.
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types
Steffen van Bakel,
Maria Grazia Vigliotti,
M. Vigliotti,
2009,
CONCUR.
Steffen van Bakel,
2016,
ITRS.
Steffen van Bakel,
Alexander J. Summers,
S. V. Bakel,
2006,
ESOP.
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
1995,
RTA.
Reuben N. S. Rowe,
Steffen van Bakel,
R. Rowe,
2011,
TLCA.
Steffen van Bakel,
Ugo de'Liguoro,
Ugo de'Liguoro,
2003,
ICTCS.
Steffen van Bakel,
S. V. Bakel,
1993,
TLCA.
Steffen van Bakel,
Ugo de'Liguoro,
2007,
Theory of Computing Systems.
Steffen van Bakel,
Ugo de'Liguoro,
Franco Barbanera,
2015,
ICE.
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
1997,
Inf. Comput..
Maribel Fernández,
Steffen van Bakel,
Franco Barbanera,
1999,
TYPES.
Steffen van Bakel,
S. V. Bakel,
2012,
Fundam. Informaticae.
Ulrich Berger,
Steffen van Bakel,
Stefano Berardi,
2010,
Ann. Pure Appl. Log..
Agostino Cortesi,
Riccardo Focardi,
Chiara Braghin,
2002,
IFIP TCS.
Steffen van Bakel,
2021,
ArXiv.
Steffen van Bakel,
Franco Barbanera,
Ugo de ' Liguoro,
2013
.
Mariangiola Dezani-Ciancaglini,
Steffen van Bakel,
Franco Barbanera,
2000
.
Steffen van Bakel,
2013
.
Steffen van Bakel,
Pierre Lescanne,
Gate London,
2005
.
Steffen van Bakel,
Maria Grazia Vigliotti,
M. Vigliotti,
2007
.
Steffen van Bakel,
Phillipe Audebaud,
2006
.