Item:Q5145653: Difference between revisions

← Older edit

@@ redirect / redirect @@
+Q5043587
@@ label / en / label / en @@
-Linear Dependent Type Theory for Quantum Programming Languages
@@ description / en / description / en @@
-scientific article; zbMATH DE number 7299487
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-Linear Dependent Type Theory for Quantum Programming Languages (English)
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68076
@@ Property / zbMATH Open document ID: 1502.68076 / rank @@
-Normal rank
@@ Property / DOI @@
-.1145/3373718.3394765
@@ Property / DOI: 10.1145/3373718.3394765 / rank @@
-Normal rank
@@ Property / author @@
-Peng Fu
@@ Property / author: Peng Fu / rank @@
-Normal rank
@@ Property / author @@
-Kohei Kishida
@@ Property / author: Kohei Kishida / rank @@
-Normal rank
@@ Property / author @@
-Peter Selinger
@@ Property / author: Peter Selinger / rank @@
-Normal rank
@@ Property / published in @@
-Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
-Normal rank
@@ Property / publication date @@
-January 2021Timestamp +2021-01-21T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2021-01-21T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 21 January 2021 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/2004.13472
@@ Property / full work available at URL: https://arxiv.org/abs/2004.13472 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B38
@@ Property / Mathematics Subject Classification ID: 03B38 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-M05
@@ Property / Mathematics Subject Classification ID: 18M05 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-N15
@@ Property / Mathematics Subject Classification ID: 68N15 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q12
@@ Property / Mathematics Subject Classification ID: 68Q12 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-P68
@@ Property / Mathematics Subject Classification ID: 81P68 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-7299487
@@ Property / zbMATH DE Number: 7299487 / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-quantum programming languages
@@ Property / zbMATH Keywords: quantum programming languages / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-categorical model
@@ Property / zbMATH Keywords: categorical model / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-fibration
@@ Property / zbMATH Keywords: fibration / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-linear dependent types
@@ Property / zbMATH Keywords: linear dependent types / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
-W3032363873
@@ Property / OpenAlex ID: W3032363873 / rank @@
-Normal rank
@@ Property / arXiv ID @@
-.13472
@@ Property / arXiv ID: 2004.13472 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5145653

Latest revision as of 10:22, 6 May 2024

Redirect to:

Item:Q5043587