Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
van Bakel, Steffen
34  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Adding Negation to Lambda Mu:

van Bakel, Steffen
http://arxiv.org/abs/2109.10447.  , 2021
Link: http://arxiv.org/abs/210..
 
?
2

Characterisation of Approximation and (Head) Normalisation ..:

van Bakel, Steffen
http://arxiv.org/abs/1702.02273.  , 2017
Link: http://arxiv.org/abs/170..
 
?
3

Intersection Types for the lambda-mu Calculus:

van Bakel, Steffen ; Barbanera, Franco ; de'Liguoro, Ugo
http://arxiv.org/abs/1704.00272.  , 2017
Link: http://arxiv.org/abs/170..
 
?
4

Proceedings Sixth International Workshop on Classical Logic..:

Kohlenbach, Ulrich ; van Bakel, Steffen ; Berardi, Stefano
http://arxiv.org/abs/1606.05820.  , 2016
Link: http://arxiv.org/abs/160..
 
?
5

Orchestrated Session Compliance:

Barbanera, Franco ; van Bakel, Steffen ; de'Liguoro, Ugo
http://arxiv.org/abs/1508.04849.  , 2015
Link: http://arxiv.org/abs/150..
 
?
6

A fully-abstract semantics of lambda-mu in the pi-calculus:

van Bakel, Steffen ; Vigliotti, Maria Grazia
http://arxiv.org/abs/1409.3314.  , 2014
Link: http://arxiv.org/abs/140..
 
?
7

Characterisation of Strongly Normalising lambda-mu-Terms:

van Bakel, Steffen ; Barbanera, Franco ; de'Liguoro, Ugo
http://arxiv.org/abs/1307.8202.  , 2013
Link: http://arxiv.org/abs/130..
 
?
8

An Output-Based Semantics of Λμ with Explicit Substitution ..:

Bakel, Steffen ; Vigliotti, Maria
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-33475-7_26.  , 2012
Link: https://hal.inria.fr/hal..
 
?
9

An Output-Based Semantics of Λμ with Explicit Substitution ..:

Bakel, Steffen ; Vigliotti, Maria
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-33475-7_26.  , 2012
Link: https://hal.inria.fr/hal..
 
?
10

Semantic Predicate Types and Approximation for Class-based ..:

van Bakel, Steffen ; Rowe, Reuben N. S
http://arxiv.org/abs/1109.4618.  , 2011
Link: http://arxiv.org/abs/110..
 
?
11

From X to Pi; Representing the Classical Sequent Calculus i..:

van Bakel, Steffen ; Cardelli, Luca ; Vigliotti, Maria Grazia
http://arxiv.org/abs/1109.4817.  , 2011
Link: http://arxiv.org/abs/110..
 
?
12

Note on a simple type system for non-interference:

van Bakel, Steffen ; Vigliotti, Maria Grazia
http://arxiv.org/abs/1109.4843.  , 2011
Link: http://arxiv.org/abs/110..
 
?
13

Reduction in X does not agree with Intersection and Union T..:

van Bakel, Steffen
http://arxiv.org/abs/1109.4570.  , 2011
Link: http://arxiv.org/abs/110..
 
?
14

Proceedings Third International Workshop on Classical Logic..:

van Bakel, Steffen ; Berardi, Stefano ; Berger, Ulrich
http://arxiv.org/abs/1101.5200.  , 2011
Link: http://arxiv.org/abs/110..
 
?
15

Sound and Complete Typing for lambda-mu:

van Bakel, Steffen
http://arxiv.org/abs/1101.4425.  , 2011
Link: http://arxiv.org/abs/110..
 
1-15