|
1 |
Semantics of probabilistic typed lambda calculus Draheim, Dirk. - Berlin : Springer, [2017]
|
|
|
2 |
Semantics of the Probabilistic Typed Lambda Calculus Draheim, Dirk. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2017, 1st edition 2017
|
|
|
3 |
La imperfectividad en la prensa española y su relación con las categorías semánticas de modalidad y evidencialidad Böhm, Verónica. - Frankfurt am Main : Peter Lang Edition, 2016
|
|
|
4 |
La imperfectividad en la prensa española y su relación con las categorías semánticas de modalidad y evidencialidad Böhm, Verónica. - Frankfurt a.M. : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2016, neue Ausgabe
|
|
|
5 |
Optimised modal translation and resolution Schmidt, Renate A., [2004]
|
|
|
6 |
The Parametric Lambda Calculus Ronchi della Rocca, Simona. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
7 |
Action refinement in end-based choice settings Fecher, Harald, 2003
|
|
|
8 |
Action refinement in end based choice settings Fecher, Harald, 2003
|
|
|
9 |
Konstruktion relationaler Kategorien Offermann, Eric. - Osnabrück : Der Andere Verl., 2003
|
|
|
10 |
The parametric lambda calculus Ronchi della Rocca, Simona. - Berlin : Springer, 2003
|
|