Adding Measurement to van Tonder's Calculus

Alejandro Diaz Caro

Description

Niveau: Supérieur, Master
Adding Measurement to van Tonder's Calculus Computer Science Undegraduate Thesis Alejandro Díaz-Caro Universidad Nacional de Rosario - Argentina Advisor Dr. Manuel Gadella Universidad de Valladolid - Spain Co-Advisor Dr. Pablo Martínez Lopez Universidad Nacional de La Plata - Argentina

• refresher


• brief memory


• nonlinear terms


• universidad nacional de rosario - argentina


• universidad de valladolid - spain


• universidad

Sujets

• Gadella
• Martínez
• Refresher
• Universidad

Informations

• Publié par: cidur
• Nombre de lectures: 42
• Langue: English

Extrait

ladolidAdeddingPMeasurementdetoivanLopTArgentinaonder'saCalculusSCCo-AdvisoromputerMaScienceUniversidadUndegraduatePlataThesisUniversidadAlejandroVD?az-Calro-UniversidadpaNacionalndeDr.Rosaabloriort?nez-ezArgentinaNacionalAdvisorLaDr.-ManuelGadellafoOutlineA1rIntroelepductionrdAtermsboutririthmefQubitsmemoRulesryell-forefreshererationalMotivationrk2Example:ArtationddingConclusionsMre3astep:surfoementw1rmedstOpstep:SemanticProbabilisticremaTabransitionconuenceRulesT2ondalgostep:3ProvidingSyntax
::=
( : )
( )
!
(! : )
::=
j j j j j:::

cSyntaxnonlinearofcnotTThewing:q1tcalculusvanisterm-calculusxabstracv0ariableHrefresherXrytxtermmemosyntaxtxrieftabstractionnonlinearbtionfollotheconstantosconceptsrquantumarovidesusedpdistinguishonder'sthetttNonlineaAtermstermsrenot-denitetoconstandenitetfromaplicationtermsc

::=
( : )
( )
!
(! : )
::=
j j j j j:::
xSyntaxconceptsof-calculusTtermqnonlineartthevanptermthextvtionariableonder'srefreshertoryquantumxnonlinearmemofollotisriefsyntaxabstractionThebabstractcwing:0constan1sHrcnotaXusedrovidesdistinguishtttANonlineatermstermsnot-denitereconstantotdenitecalculusfromaplicationtermsc

::=
( : )
( )
!
(! : )
::=
j j j j j:::
xSyntaxconceptsof-calculusTtermqnonlineartthevanptermthextvtionariableonder'srefreshertoryquantumxnonlinearmemofollotisriefsyntaxabstractionThebabstractcwing:0constan1sHrcnotaXusedrovidesdistinguishtttANonlineatermstermsnot-denitereconstantotdenitecalculusfromaplicationtermscp (j( : ) i +j( : ) i)
( : )
p (j i +j i)
ectthethesamedeniteinusalltheb0ranches1ofI)therespsupexperpxosition.isExamplergum12ryLet2(Imemo1riefwithbsubAresionxresiontextuallyexpissubisdenite0aitentifabasiscallcomputational0aDenitionx1to0refreshernon-denite0p (j( : ) i +j( : ) i)
( : )
p (j i +j i)
ectthethesamedeniteinusalltheb0ranches1ofI)therespsupexperpxosition.isExamplergum12ryLet2(Imemo1riefwithbsubAresionxresiontextuallyexpissubisdenite0aitentifabasiscallcomputational0aDenitionx1to0refreshernon-denite0(! : )
( : )
numbRuleseofbutuseyNonlineadyreatermswwillrbinenotguaaranteedintoinbabstractioneadenitergumentwithofrespbectototthelineacomputationalmustbasisexactlyI)functionIfo(Isetxrmednessrefreshermatuserynonlinea:adenotesanyfunctionseroftimesnonlineaitsroa,rgumentsrmemoariefall,xabrtrgumentAappbrdyoncethistheagio:AlldenotesrulesfunctionsreofvlineanrrmallyaargumentsofAell-folinearulesr(! : )
( : )
numbRuleseofbutuseyNonlineadyreatermswwillrbinenotguaaranteedintoinbabstractioneadenitergumentwithofrespbectototthelineacomputationalmustbasisexactlyI)functionIfo(Isetxrmednessrefreshermatuserynonlinea:adenotesanyfunctionseroftimesnonlineaitsroa,rgumentsrmemoariefall,xabrtrgumentAappbrdyoncethistheagio:AlldenotesrulesfunctionsreofvlineanrrmallyaargumentsofAell-folinearulesr(! : )
( : )
numbRuleseofbutuseyNonlineadyreatermswwillrbinenotguaaranteedintoinbabstractioneadenitergumentwithofrespbectototthelineacomputationalmustbasisexactlyI)functionIfo(Isetxrmednessrefreshermatuserynonlinea:adenotesanyfunctionseroftimesnonlineaitsroa,rgumentsrmemoariefall,xabrtrgumentAappbrdyoncethistheagio:AlldenotesrulesfunctionsreofvlineanrrmallyaargumentsofAell-folinearulesr