//img.uscri.be/pth/e66271b019185c09ba83c523d4f4218035c4fe20
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