Skip to contents

Mulmuley, Ketan [Author]

Full abstraction and semantic equivalence

Close

Bookmarks

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

Cambridge, Mass. [u.a.]: MIT Pr., 1987

Published in: Association for Computing Machinery: ACM - MIT Press doctoral dissertation award series ; 1986
MacCusker, Guy [Author]

Games and full abstraction for a functional metalanguage with recursive types

View online
Schließen

Close

Bookmarks

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

London; Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1998

Published in: Distinguished dissertations
Dal Lago, Ugo [Author]; Gavazzo, Francesco [Author] ; Ugo Dal Lago and Francesco Gavazzo [Contributor]

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Matache, Cristina [Author]; Moss, Sean [Author]; Staton, Sam [Author] ; Cristina Matache and Sean Moss and Sam Staton [Contributor]

Recursion and Sequentiality in Categories of Sheaves

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Clairambault, Pierre [Author]; Paquet, Hugo [Author] ; Pierre Clairambault and Hugo Paquet [Contributor]

Fully Abstract Models of the Probabilistic lambda-calculus

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Castellan, Simon [Author]; Clairambault, Pierre [Author]; Winskel, Glynn [Author] ; Simon Castellan and Pierre Clairambault and Glynn Winskel [Contributor]

Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or

View online
Schließen

Links

... to article via DOI

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
Nishimura, Susumu [Author] ; Susumu Nishimura [Contributor]

A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Bucciarelli, Antonio [Author]; Carraro, Alberto [Author]; Ehrhard, Thomas [Author]; Manzonetto, Giulio [Author] ; Antonio Bucciarelli and Alberto Carraro and Thomas Ehrhard and Giulio Manzonetto [Contributor]

Full Abstraction for Resource Calculus with Tests

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Müller, Fritz [Author] ; Wilhelm, Reinhard [Contributor]

On confluence and semantic full abstraction of lambda calculus languages ; Über Konfluenz und semantische vollständige Abstraktion von Lambda-Kalkül-Sprachen

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2016
Chisnall, David [Author]; Garg, Deepak [Author]; Hritcu, Catalin [Author]; Payer, Mathias [Author] ; David Chisnall and Deepak Garg and Catalin Hritcu and Mathias Payer [Contributor]

Secure Compilation (Dagstuhl Seminar 21481)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Ahmed, Amal [Author]; Garg, Deepak [Author]; Hritcu, Catalin [Author]; Piessens, Frank [Author] ; Amal Ahmed and Deepak Garg and Catalin Hritcu and Frank Piessens [Contributor]

Secure Compilation (Dagstuhl Seminar 18201)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Müller, Fritz [Author] ; Wilhelm, Reinhard [Degree supervisor]

On confluence and semantic full abstraction of lambda calculus languages

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2016
Müller, Fritz [Author]

On confluence and semantic full abstraction of lambda calculus languages

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, Mai 2016
Prebet, Enguerrand [Author] ; Enguerrand Prebet [Contributor]

Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

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

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

View online
Schließen

Links

... to E-book via Resolving system

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
Sieber, Kurt [Author]

Full abstraction for the second order subset of an ALGOL-like language (preliminary report)

View online
Schließen

Links

... to E-book via Resolving system

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
Sieber, Kurt [Author]

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

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Published in: Technischer Bericht ; 1995,4
Sieber, Kurt [Author]

Full abstraction for the second order subset of an ALGOL-like language : (preliminary report)

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Published in: Technischer Bericht ; 1994,1
Curien, Pierre-Louis

Definability and Full Abstraction

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2007

Published in: Electronic Notes in Theoretical Computer Science, 172 (2007), Seite 301-310
Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale

Full Abstraction for PCF

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2000

Published in: Information and Computation, 163 (2000) 2, Seite 409-470

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