Skip to contents

Blikle, Andrzej [Author]

MetaSoft primer : towards a metalanguage for applied denotational semantics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1987

Published in: Lecture notes in computer science ; 288
Gutiérrez Ordóñez, Salvador [Author]

Introducción a la semàntica funcional

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Madrid: Ed. Sintesis, 1989

Published in: Colección Lingu͏̈ística ; 2000
Baumann, Peter [Author]

Software-Bewertung : ein semantischer Ansatz für Informationsmaße

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Informatik-Fachberichte ; 299
Breugel, Franck van [Author]

Comparative metric semantics of programming languages : nondeterminism and recursion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; Basel; Berlin: Birkhäuser, 1998

Published in: Progress in theoretical computer science
Zhang, Guo-Qiang [Author]

Logic of domains

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston [u.a.]: Birkhäuser, 1991

Published in: Progress in theoretical computer science ; 4
Amadio, Roberto M. [Author]; Curien, Pierre-Louis [Author]

Domains and lambda-calculi

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 1998

Published in: Cambridge tracts in theoretical computer science ; 46
Mäder, Roman E. [Author]

Graph algebras, algebraic and denotational semantics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1986
Mariño, Julio [Editor] ; WFLP 19 2010 Madrid

Functional and constraint logic programming : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6559
Gordon, Michael J. C. [Author]

The denotational description of programming languages : an introduction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg [u.a.]: Springer, 1979
Allison, Lloyd [Author]

A practical introduction to denotational semantics - [Repr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1989

Published in: Cambridge computer science texts ; 23,89
Best, Eike [Author]; Koutny, Maciej [Author]

Operational and denotational semantics for the box algebra

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hildesheim: Institut für Informatik, 1995

Published in: Hildesheimer Informatik-Berichte ; 95,33
Buth, Karl-Heinz [Author]

Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9414
Laird, James [Author] ; James Laird [Contributor]

Weighted Relational Models for Mobility

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Sieber, Kurt [Author]

Full abstraction for the second order subset of an ALGOL-like language

View online
Schließen

Links

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-3713

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific publications of the Saarland University (UdS), 2014-04-03
Silver, Lucas [Author]; He, Paul [Author]; Cecchetti, Ethan [Author]; Hirsch, Andrew K. [Author]; Zdancewic, Steve [Author] ; Lucas Silver and Paul He and Ethan Cecchetti and Andrew K. Hirsch and Steve Zdancewic [Contributor]

Semantics for Noninterference with Interaction Trees

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Silver, Lucas [Author]; He, Paul [Author]; Cecchetti, Ethan [Author]; Hirsch, Andrew K. [Author]; Zdancewic, Steve [Author] ; Lucas Silver and Paul He and Ethan Cecchetti and Andrew K. Hirsch and Steve Zdancewic [Contributor]

Semantics for Noninterference with Interaction Trees (Artifact)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Yang, Hongseok [Author] ; Hongseok Yang [Contributor]

Probabilistic Programming (Invited Talk)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Tasson, Christine [Author] ; Christine Tasson [Contributor]

Quantitative Semantics for Probabilistic Programming (Invited Talk)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Vaux, Lionel [Author] ; Lionel Vaux [Contributor]

Taylor Expansion, lambda-Reduction and Normalization

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Laird, James [Author] ; James Laird [Contributor]

Polymorphic Game Semantics for Dynamic Binding

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication