First steps in synthetic guarded domain theory: step-indexing in the topos of trees von Birkedal, Lars, Møgelberg, Rasmus Ejlers, Schwinghammer, Jan, Støvring, Kristian

Volltext

First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees von Birkedal, L., Mogelberg, R. E., Schwinghammer, J., Stovring, K.

Volltext

Step-Indexed Relational Reasoning for Countable Nondeterminism von Birkedal, Lars, Bizjak, Aleš, Schwinghammer, Jan

Volltext

Nested Hoare Triples and Frame Rules for Higher-order Store von Schwinghammer, Jan, Birkedal, Lars, Reus, Bernhard, Yang, Hongseok

Volltext

A Step-indexed Semantics of Imperative Objects von Hritcu, Catalin, Schwinghammer, Jan

Volltext

Coherence of subsumption for monadic types von SCHWINGHAMMER, JAN

Volltext

Observational program calculi and the correctness of translations von Schmidt-Schauß, Manfred, Sabel, David, Niehren, Joachim, Schwinghammer, Jan

Volltext

A Typed Semantics of Higher-Order Store and Subtyping von Schwinghammer, Jan

Volltext

Separation Logic for Higher-Order Store von Reus, Bernhard, Schwinghammer, Jan

Volltext

Nested Hoare Triples and Frame Rules for Higher-Order Store von Schwinghammer, Jan, Birkedal, Lars, Reus, Bernhard, Yang, Hongseok

Volltext

Denotational semantics for a program logic of objects von REUS, BERNHARD, SCHWINGHAMMER, JAN

Volltext

A step-indexed Kripke model of hidden state von SCHWINGHAMMER, JAN, BIRKEDAL, LARS, POTTIER, FRANÇOIS, REUS, BERNHARD, STØVRING, KRISTIAN, YANG, HONGSEOK

Volltext

A Concurrent Lambda Calculus with Futures von Niehren, Joachim, Schwinghammer, Jan, Smolka, Gert

Volltext

A Concurrent Lambda Calculus with Futures von Niehren, Joachim, Schwinghammer, Jan, Smolka, Gert

Volltext

Denotational Semantics for Abadi and Leino’s Logic of Objects von Reus, Bernhard, Schwinghammer, Jan

Volltext

Step-indexed kripke models over recursive worlds von Birkedal, Lars, Reus, Bernhard, Schwinghammer, Jan, Støvring, Kristian, Thamsborg, Jacob, Yang, Hongseok

Volltext

Coiling device for a large range of metal strip thicknesses von Bischoff, Matthias, Hofer, Roland, Neumüller, Mathias, Ostheimer, Pascal, Schwinghammer, Jan, Salzmann, Christoph

Volltext bestellen

A Semantic Foundation for Hidden State von Schwinghammer, Jan, Yang, Hongseok, Birkedal, Lars, Pottier, François, Reus, Bernhard

Volltext

REEL DEVICE FOR LARGE THICKNESS RANGE OF METAL STRIPS von Bischoff, Matthias, Hofer, Roland, Neumüller, Mathias, Ostheimer, Pascal, Schwinghammer, Jan, Salzmann, Christoph

Volltext bestellen

REEL DEVICE FOR LARGE THICKNESS RANGE OF METAL STRIPS von Bischoff, Matthias, Hofer, Roland, Neumüller, Mathias, Ostheimer, Pascal, Schwinghammer, Jan, Salzmann, Christoph

Volltext bestellen