Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Rochel, Jan
19  Ergebnisse:
Personensuche X
?
1

Maximal sharing in the Lambda calculus with letrec:

Grabmayer, Clemens ; Rochel, Jan
ACM SIGPLAN Notices.  49 (2014)  9 - p. 67-80 , 2014
Link: https://doi.org/10.1145/..
 
?
2

Maximal sharing in the Lambda calculus with letrec:

, In: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming,
Grabmayer, Clemens ; Rochel, Jan - p. 67-80 , 2014
Link: https://dl.acm.org/doi/1..
 
?
3

Alias : pointeurs espionnés en série:

Le Gall, Tristan ; Rochel, Jan ; Faissole, Florian..
hal-04407140.  , 2024
Link: https://hal.science/hal-..
 
?
4

Alias : pointeurs espionnés en série:

Le Gall, Tristan ; Rochel, Jan ; Faissole, Florian..
hal-04407140.  , 2024
Link: https://hal.science/hal-..
 
?
5

Unfolding Semantics of the Untyped {\lambda}-Calculus with ..:

Rochel, Jan
http://arxiv.org/abs/1610.05954.  , 2016
Link: http://arxiv.org/abs/161..
 
?
6

Maximal Sharing in the Lambda Calculus with letrec:

Grabmayer, Clemens ; Rochel, Jan
http://arxiv.org/abs/1401.1460.  , 2014
Link: http://arxiv.org/abs/140..
 
?
7

Term Graph Representations for Cyclic Lambda-Terms:

Grabmayer, Clemens ; Rochel, Jan
http://arxiv.org/abs/1308.1034.  , 2013
Link: http://arxiv.org/abs/130..
 
?
8

Term Graph Representations for Cyclic Lambda-Terms:

Grabmayer, Clemens ; Rochel, Jan
http://arxiv.org/abs/1302.6338.  , 2013
Link: http://arxiv.org/abs/130..
 
?
9

Expressibility in the Lambda Calculus with Mu:

Grabmayer, Clemens ; Rochel, Jan
doi:10.4230/LIPIcs.RTA.2013.206.  , 2013
Link: https://doi.org/10.4230/..
 
?
10

Expressibility in the Lambda Calculus with mu:

Grabmayer, Clemens ; Rochel, Jan
http://arxiv.org/abs/1304.6284.  , 2013
Link: http://arxiv.org/abs/130..
 
?
11

Expressibility in the Lambda Calculus with Letrec:

Grabmayer, Clemens ; Rochel, Jan
http://arxiv.org/abs/1208.2383.  , 2012
Link: http://arxiv.org/abs/120..
 
?
12

Repetitive Reduction Patterns in Lambda Calculus with letre..:

Rochel, Jan ; Grabmayer, Clemens
http://arxiv.org/abs/1102.2656.  , 2011
Link: http://arxiv.org/abs/110..
 
?
13

Term Graph Representations for Cyclic Lambda-Terms:

Jan Rochel ; Clemens Grabmayer
http://arxiv.org/pdf/1302.6338v1.  , 2013
Link: https://doi.org/10.4204/..
 
?
14

Repetitive Reduction Patterns in Lambda Calculus with letre..:

Jan Rochel ; Clemens Grabmayer
http://arxiv.org/pdf/1102.2656v1.  , 2011
Link: https://doi.org/10.4204/..
 
?
15

List of contributors:

, In: Feldman and Pike' s Vitamin D,
Adams, John S. ; Amrein, Karin ; Anderson, Paul H.... - p. xxvii-xxxiv , 2024
Link: https://doi.org/10.1016/..
 
1-15