Semantics and logics of computationde Peter DybjerMateriasElectronic data processingSymbolic and mathematical LogicSemanticsProgramming languages (Electronic computers)Programming languages (electronic computers)Logic, symbolic and mathematicalEdiciones (1)Semantics and logics of computation (1997)Cambridge University Press · inglésMás obras de Peter DybjerSemantics And Logics Of ComputationCategory theory and computer scienceTTypes for Proofs and ProgramsTypes for Proofs and Programs
CCategory theory and programming language semanticsCategory theory and programming language semantics
