Imagen de Portada

Typed compositional quantum computation with lenses

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Garrigue, Jacques, Saikawa, Takafumi
Formato:	Preprint
Publicado:	2023
Materias:	Programming Languages Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
por: Affeldt, Reynald, et al.
Publicado: (2023)

Type Theory With Erasure
por: Theocharis, Constantine, et al.
Publicado: (2026)

Orthologic Type Systems
por: Guilloud, Simon, et al.
Publicado: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
por: Castagna, Giuseppe, et al.
Publicado: (2024)

Layered Modal Type Theories
por: Hu, Jason Z. S., et al.
Publicado: (2023)

Dependent Type Refinements for Futures
por: Somayyajula, Siva, et al.
Publicado: (2023)

Logic Programming with Extensible Types
por: Perez, Ivan, et al.
Publicado: (2026)

Type-Based Termination for Futures
por: Somayyajula, Siva, et al.
Publicado: (2021)

On the Expressivity of Typed Concurrent Calculi
por: Paulus, Joseph William Neal
Publicado: (2024)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
por: Matsuoka, Satoshi
Publicado: (2026)

Impredicativity in Linear Dependent Type Theory
por: Speight, Sam, et al.
Publicado: (2026)

Types, equations, dimensions and the Pi theorem
por: Botta, Nicola, et al.
Publicado: (2023)

Linear Contextual Metaprogramming and Session Types
por: Ângelo, Pedro, et al.
Publicado: (2024)

Hybrid Intersection Types for PCF (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

Dependent Multiplicities in Dependent Linear Type Theory
por: Doré, Maximilian
Publicado: (2025)

Monadic Intersection Types, Relationally (Extended Version)
por: Gavazzo, Francesco, et al.
Publicado: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
por: Barwell, Adam D., et al.
Publicado: (2023)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
por: Kobayashi, Naoki
Publicado: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
por: Heuvel, Bas van den, et al.
Publicado: (2024)

A Graded Modal Dependent Type Theory with Erasure, Formalized
por: Abel, Andreas, et al.
Publicado: (2026)

A Type System for Data Flow and Alias Analysis in ReScript
por: Lund, Nicky Ask, et al.
Publicado: (2024)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
por: Derakhshan, Farzaneh, et al.
Publicado: (2024)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
por: Casetta, Richard, et al.
Publicado: (2026)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
por: Cristiá, Maximiliano, et al.
Publicado: (2022)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
por: Hu, Jason Z. S., et al.
Publicado: (2024)

A feasible and unitary quantum programming language
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)

A programming language characterizing quantum polynomial time
por: Hainry, Emmanuel, et al.
Publicado: (2022)

WebPie: A Tiny Slice of Dependent Typing
por: Scholliers, Christophe
Publicado: (2024)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
por: Mangel, Éléonore, et al.
Publicado: (2025)

Foundations of Substructural Dependent Type Theory
por: Aberlé, C. B.
Publicado: (2024)

Syntax and Semantics of Linear Dependent Types
por: Vákár, Matthijs
Publicado: (2014)

Polynomial Universes in Homotopy Type Theory
por: Aberlé, C. B., et al.
Publicado: (2024)

An Enumerative Embedding of the Python Type System in ACL2s
por: Xifaras, Samuel, et al.
Publicado: (2025)

From Semantics to Syntax: A Type Theory for Comprehension Categories
por: Najmaei, Niyousha, et al.
Publicado: (2025)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
por: Aberlé, C. B.
Publicado: (2026)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
por: Deng, Haotian, et al.
Publicado: (2025)

A programming language combining quantum and classical control
por: Dave, Kinnari, et al.
Publicado: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

On Complexity Bounds and Confluence of Parallel Term Rewriting
por: Baudon, Thaïs, et al.
Publicado: (2023)