Ontology type: schema:Chapter Open Access: True
2017-11-19
AUTHORSAlejandro Díaz-Caro , Gilles Dowek
ABSTRACTWe propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis. More... »
PAGES281-293
Theory and Practice of Natural Computing
ISBN
978-3-319-71068-6
978-3-319-71069-3
http://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22
DOIhttp://dx.doi.org/10.1007/978-3-319-71069-3_22
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1092754948
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Pure Mathematics",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Mathematical Sciences",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "National University of Quilmes",
"id": "https://www.grid.ac/institutes/grid.11560.33",
"name": [
"Universidad Nacional de Quilmes and CONICET, Roque S\u00e1enz Pe\u00f1a 352, B1876BXD, Bernal, Buenos Aires, Argentina"
],
"type": "Organization"
},
"familyName": "D\u00edaz-Caro",
"givenName": "Alejandro",
"id": "sg:person.013447702720.46",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013447702720.46"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification",
"id": "https://www.grid.ac/institutes/grid.464035.0",
"name": [
"Inria, LSV, ENS Paris-Saclay, 61, avenue du Pr\u00e9sident Wilson, 94235, Cachan Cedex, France"
],
"type": "Organization"
},
"familyName": "Dowek",
"givenName": "Gilles",
"id": "sg:person.010061201407.37",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010061201407.37"
],
"type": "Person"
}
],
"citation": [
{
"id": "https://doi.org/10.1145/322248.322251",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1010290207"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/0304-3975(93)90181-r",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1016597929"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/0304-3975(87)90045-4",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1030539676"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1017/cbo9781139193313.005",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1035626161"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1017/s0960129514000425",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1037597506"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-32621-9_16",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1039629279",
"https://doi.org/10.1007/978-3-642-32621-9_16"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1145/2491956.2462177",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1050833834"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.2168/lmcs-10(4:8)2014",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1069150740"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.2168/lmcs-8(1:11)2012",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1069151150"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.ic.2017.04.001",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1085044816"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/lics.2005.1",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1095823159"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1145/2535838.2535879",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1098915369"
],
"type": "CreativeWork"
}
],
"datePublished": "2017-11-19",
"datePublishedReg": "2017-11-19",
"description": "We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.",
"editor": [
{
"familyName": "Mart\u00edn-Vide",
"givenName": "Carlos",
"type": "Person"
},
{
"familyName": "Neruda",
"givenName": "Roman",
"type": "Person"
},
{
"familyName": "Vega-Rodr\u00edguez",
"givenName": "Miguel A.",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-319-71069-3_22",
"inLanguage": [
"en"
],
"isAccessibleForFree": true,
"isPartOf": {
"isbn": [
"978-3-319-71068-6",
"978-3-319-71069-3"
],
"name": "Theory and Practice of Natural Computing",
"type": "Book"
},
"name": "Typing Quantum Superpositions and Measurement",
"pagination": "281-293",
"productId": [
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-319-71069-3_22"
]
},
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"223ebbcff5c3e2755b1277715e1a5379a4958a67157b2c4e3599239685210f9a"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1092754948"
]
}
],
"publisher": {
"location": "Cham",
"name": "Springer International Publishing",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-319-71069-3_22",
"https://app.dimensions.ai/details/publication/pub.1092754948"
],
"sdDataset": "chapters",
"sdDatePublished": "2019-04-16T05:00",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000325_0000000325/records_100797_00000000.jsonl",
"type": "Chapter",
"url": "https://link.springer.com/10.1007%2F978-3-319-71069-3_22"
}
]Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22'
This table displays all metadata directly associated to this object as RDF triples.
122 TRIPLES
23 PREDICATES
38 URIs
19 LITERALS
8 BLANK NODES