Q5145653 (Q5145653): Difference between revisions
From MaRDI portal
Item:Q5145653
Changed an Item |
EloiFerrer (talk | contribs) Merged Item into Q5043587 Tag: Replaced |
||||||||||||||
label / en | label / en | ||||||||||||||
description / en | description / en | ||||||||||||||
Property / instance of | |||||||||||||||
Property / instance of: scholarly article / rank | |||||||||||||||
Property / title | |||||||||||||||
Property / title: Linear Dependent Type Theory for Quantum Programming Languages (English) / rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1502.68076 / rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1145/3373718.3394765 / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Peng Fu / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Kohei Kishida / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Peter Selinger / rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science / rank | |||||||||||||||
Property / publication date | |||||||||||||||
| |||||||||||||||
Property / publication date: 21 January 2021 / rank | |||||||||||||||
Property / full work available at URL | |||||||||||||||
Property / full work available at URL: https://arxiv.org/abs/2004.13472 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68N19 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 03B38 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 18M05 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68N15 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q12 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 81P68 / rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 7299487 / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: quantum programming languages / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: categorical model / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: fibration / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: linear dependent types / rank | |||||||||||||||
Property / MaRDI profile type | |||||||||||||||
Property / MaRDI profile type: MaRDI publication profile / rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W3032363873 / rank | |||||||||||||||
Property / arXiv ID | |||||||||||||||
Property / arXiv ID: 2004.13472 / rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Revision as of 10:22, 6 May 2024
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
No description defined |