Toward a Curry-Howard Equivalence for Linear, Reversible Computation (Englisch)
Work-in-Progress
- Neue Suche nach: Chardonnet, Kostia
- Neue Suche nach: Saurin, Alexis
- Neue Suche nach: Valiron, Benoît
- Neue Suche nach: Lanese, Ivan
- Weitere Informationen zu Lanese, Ivan:
- https://orcid.org/https://orcid.org/0000-0003-2527-9995
- Neue Suche nach: Rawski, Mariusz
- Weitere Informationen zu Rawski, Mariusz:
- https://orcid.org/https://orcid.org/0000-0002-7489-0785
- Neue Suche nach: Chardonnet, Kostia
- Neue Suche nach: Saurin, Alexis
- Neue Suche nach: Valiron, Benoît
In:
Reversible Computation
: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
;
Kapitel: 8
;
144-152
;
2020
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Toward a Curry-Howard Equivalence for Linear, Reversible Computation
-
Untertitel:Work-in-Progress
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Lanese, Ivan ( Herausgeber:in ) / Rawski, Mariusz ( Herausgeber:in ) / Chardonnet, Kostia ( Autor:in ) / Saurin, Alexis ( Autor:in ) / Valiron, Benoît ( Autor:in )
-
Kongress:International Conference on Reversible Computation ; 2020 ; Oslo, Norway
-
Erschienen in:Reversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings ; Kapitel: 8 ; 144-152Lecture Notes in Computer Science ; 12227 ; 144-152Programming and Software Engineering ; 144-152
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:09.07.2020
-
Format / Umfang:9 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical ProblemsPerkowski, Marek et al. | 2020
- 2
-
Reversible Occurrence Nets and Causal Reversible Prime Event StructuresMelgratti, Hernán / Mezzina, Claudio Antares / Phillips, Iain / Pinna, G. Michele / Ulidowski, Irek et al. | 2020
- 3
-
Involutory Turing MachinesNakano, Keisuke et al. | 2020
- 4
-
Event Structures for the Reversible Early Internal \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document}-CalculusGraversen, Eva / Phillips, Iain / Yoshida, Nobuko et al. | 2020
- 5
-
Hermes: A Language for Light-Weight EncryptionMogensen, Torben Ægidius et al. | 2020
- 6
-
Reversible Programming Languages Capturing Complexity ClassesKristiansen, Lars et al. | 2020
- 7
-
On the Expressivity of Total Reversible Programming LanguagesMatos, Armando B. / Paolini, Luca / Roversi, Luca et al. | 2020
- 8
-
Toward a Curry-Howard Equivalence for Linear, Reversible ComputationChardonnet, Kostia / Saurin, Alexis / Valiron, Benoît et al. | 2020
- 9
-
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-QuipperFu, Peng / Kishida, Kohei / Ross, Neil J. / Selinger, Peter et al. | 2020
- 10
-
Fractional TypesChen, Chao-Hong / Choudhury, Vikraman / Carette, Jacques / Sabry, Amr et al. | 2020
- 11
-
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problemde Brugière, Timothée Goubault / Baboulin, Marc / Valiron, Benoît / Martiel, Simon / Allouche, Cyril et al. | 2020
- 12
-
Maximality of Reversible Gate SetsBoykett, Tim et al. | 2020
- 13
-
Search-Based Transformation Synthesis for 3-Valued Reversible CircuitsMiller, D. Michael / Dueck, Gerhard W. et al. | 2020
- 14
-
ReverCSP: Time-Travelling in CSP ComputationsGalindo, Carlos / Nishida, Naoki / Silva, Josep / Tamarit, Salvador et al. | 2020
- 15
-
Reversible Computations in Logic ProgrammingVidal, Germán et al. | 2020
- 16
-
Towards a Formal Account for Software Transactional MemoryMedić, Doriana / Mezzina, Claudio Antares / Phillips, Iain / Yoshida, Nobuko et al. | 2020
- 17
-
Encoding Reversing Petri Nets in Answer Set ProgrammingDimopoulos, Yannis / Kouppari, Eleftheria / Philippou, Anna / Psara, Kyriaki et al. | 2020
- 18
-
A Reversible Runtime Environment for Parallel ProgramsIkeda, Takashi / Yuen, Shoji et al. | 2020