Initiality for Typed Syntax and Semantics

-

English
53 Pages
Read an excerpt
Gain access to the library to view online
Learn more

Description

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


Subjects

Informations

Published by
Reads 18
Language English
Report a problem
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