Fuhrmann, Carsten
59  Ergebnisse:
Personensuche X
?
2

On categorical models of classical logic and the Geometry o..:

FÜHRMANN, CARSTEN ; PYM, DAVID
Mathematical Structures in Computer Science.  17 (2007)  5 - p. 957-1027 , 2007
 
?
3

Order-enriched categorical models of the classical sequent ..:

Führmann, Carsten ; Pym, David
Journal of Pure and Applied Algebra.  204 (2006)  1 - p. 21-78 , 2006
 
?
4

On the call-by-value CPS transform and its semantics:

Führmann, Carsten ; Thielecke, Hayo
Information and Computation.  188 (2004)  2 - p. 241-283 , 2004
 
?
5

An equational notion of lifting monad:

Bucalo, Anna ; Führmann, Carsten ; Simpson, Alex
Theoretical Computer Science.  294 (2003)  1-2 - p. 31-60 , 2003
 
?
6

Direct Models of the Computational Lambda-calculus:

Führmann, Carsten
Electronic Notes in Theoretical Computer Science.  20 (1999)  - p. 245-292 , 1999
 
?
7

Equational Lifting Monads:

Bucalo, Anna ; Führmann, Carsten ; Simpson, Alex
Electronic Notes in Theoretical Computer Science.  29 (1999)  - p. 22 , 1999
 
?
 
?
10

Non-invasive physical plasma for preventing radiation derma..:

Dejonckheere, Cas Stefaan ; Layer, Julian Philipp ; Nour, Younèss...
Clinical and Translational Radiation Oncology.  44 (2024)  - p. 100699 , 2024
 
1-15