Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Initiality for Typed Syntax and Semantics

De
53 pages
Initiality for Typed Syntax and Semantics Benedikt Ahrens Université Nice Sophia Antipolis Séminaire GdT Sémantique, PPS, Paris December 13, 2011

  • operator arithmetic

  • lambda calculus

  • séminaire gdt

  • application fixpoint

  • logic consts

  • benedikt ahrens


Voir plus Voir moins
InitialityforTypedSyntaxandSemanticsBenediktAhrensUniversitéNiceSophiaAntipolisSéminaireGdTSémantique,PPS,ParisDecember13,2011
ATranslationfromPCFtoLCCPFITypedLanguageIAbstractionApplicationFixpointOperatorArithmetic&LogicConsts.Translationsi:PCFLCsuluclaCadbmaLIdepytnUitcartsbAIAApbpsltircaacttiioonni(λx.M)=λx.i(M)i(M@N))=i(M)@i(N)i(Fix(f))=Θi(f)ori(Fix(f))=Yi(f)...
Translation,mathematicallyMathematicalstructureofChallenges:IvaryingtypesPCFLC?Icapturecompatibilitywithsubstitution+reductionMorepreciselyIPCFLC?yrogetacemosnimsihpromIxErtatsrcutnirutieaiolnCLotpscefiyidffrenetushcrtnalstaoisn
Translation,mathematicallyMathematicalstructureofChallenges:IvaryingtypesPCFLC?Icapturecompatibilitywithsubstitution+reductionMorepreciselyIPCFLCinitialmorphisminsomecategory?IxErtatsrcuuternoCLotpscefiyidffrenetushcrtnalstaoisn
Translation,mathematicallyMathematicalstructureofChallenges:IvaryingtypesPCFLC?Icapturecompatibilitywithsubstitution+reductionMorepreciselyIPCFLCinitialmorphisminsomecategory?IExtrastructureonLCtospecifydifferentsuchtranslations
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin