Skip to contents

Deng, Yuxin [Author]; Feng, Yuan [Author]; Dal Lago, Ugo [Author] ; Yuxin Deng and Yuan Feng and Ugo Dal Lago [Contributor]

On Coinduction and Quantum Lambda Calculi

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, 2015
Schmidt-Schauß, Manfred [Author]; Sabel, David [Author] ; Manfred Schmidt-Schauß and David Sabel [Contributor]

Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)

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, 2014
Vardi, Moshe Y. [Author] ; Moshe Y. Vardi [Contributor]

Branching vs. Linear Time: Semantical Perspective

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, 2011
Vignudelli, Valeria [Author] ; Valeria Vignudelli [Contributor]

Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (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, 2018
Schmidt-Schauss, Manfred [Author]; Sabel, David [Author]; Machkasova, Elena [Author] ; Manfred Schmidt-Schauss and David Sabel and Elena Machkasova [Contributor]

Simulation in the Call-by-Need Lambda-Calculus with letrec

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, 2010
Pistone, Paolo [Author]; Tranchini, Luca [Author] ; Paolo Pistone and Luca Tranchini [Contributor]

What’s Decidable About (Atomic) Polymorphism?

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, 2021
Lopez, Aliaume [Author]; Simpson, Alex [Author] ; Aliaume Lopez and Alex Simpson [Contributor]

Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular

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, 2018
Aristizábal, Andrés [Author]; Biernacki, Dariusz [Author]; Lenglet, Sergueï [Author]; Polesiuk, Piotr [Author] ; Andrés Aristizábal and Dariusz Biernacki and Sergueï Lenglet and Piotr Polesiuk [Contributor]

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

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
Jaber, Guilhem [Author] ; Nantes, Ecole des Mines [Contributor]; Miquel, Alexandre [Contributor]

A logical study of program equivalence ; Une étude logique de l’équivalence de programmes

View online
Schließen

Links

http://www.theses.fr/2014EMNA0124/document

Show more show less

Close

Bookmarks

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

theses.fr, 2014-07-11
Kaiser, Jonas [Author] ; Smolka, Gert [Degree supervisor]

Formal verification of the equivalence of system F and the pure type system L2

View online
Schließen

Access

https://d-nb.info/1195526970/34

kostenfrei

Show more show less

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2019
Kaiser, Jonas [Author] ; Smolka, Gert [Contributor]

Formal verification of the equivalence of system F and the pure type system L2

View online
Schließen

Links

http://nbn-resolving.org/urn:nbn:de:bsz:291--ds-284251

Show more show less

Close

Bookmarks

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

Saarländische Universitäts- und Landesbibliothek, 2019
Sabel, David [Author]; Schmidt-Schauß, Manfred [Author]

Contextual equivalence for the pi-calculus that can stop

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/33608

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2014-03-10
Schmidt-Schauß, Manfred [Author]; Sabel, David [Author]

Closures of may and must convergence for contextual equivalence

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/6176

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2008
Schmidt-Schauß, Manfred [Author]; Sabel, David [Author]; Harwath, Frederik [Author]

Contextual equivalence in lambda-calculi extended with letrec and with a parametric polymorphic type system

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/6667

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2009
Marty, Paul; Romoli, Jacopo

Presuppositions, implicatures, and contextual equivalence

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 2021

Published in: Natural Language Semantics
Aubert, Clément; Varacca, Daniele

Processes, Systems & Tests: Defining Contextual Equivalences

View online
Schließen

Access

Close

Bookmarks

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

Open Publishing Association, 2021

Published in: Electronic Proceedings in Theoretical Computer Science
Lenglet, Sergueï; Schmitt, Alan; Stefani, Jean-Bernard

Characterizing contextual equivalence in calculi with passivation

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2011

Published in: Information and Computation
Randell, Tom; Remington, Bob

EQUIVALENCE RELATIONS, CONTEXTUAL CONTROL, AND NAMING

View online
Schließen

Access

Close

Bookmarks

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

Wiley, 2006

Published in: Journal of the Experimental Analysis of Behavior
Dibbets, P.; Maes, J.H.R.; Vossen, J.M.H.

Contextual Dependencies in a Stimulus Equivalence Paradigm

View online
Schließen

Access

Close

Bookmarks

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

SAGE Publications, 2002

Published in: The Quarterly Journal of Experimental Psychology Section B
Meehan, Edward F.; Fields, Lanny

Contextual Control Of New Equivalence Classes

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 1995

Published in: The Psychological Record

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