Record Beta

Mathematical Foundations of Programming Semantics

https://id.confref.org/data/confref-portal/event/mfps1993

rdf:type	portal:Conference
schema:location	New Orleans (wd:Q34404)
rdfs:label	Mathematical Foundations of Programming Semantics
portal:acronym	MFPS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	New Orleans
portal:country	USA
portal:endDate	1993-04-10
portal:keyword	Banach spaces
portal:keyword	CCS
portal:keyword	CSP
portal:keyword	Coalgebra
portal:keyword	Final Universe
portal:keyword	Fock space
portal:keyword	Labelled
portal:keyword	Linear Logic
portal:keyword	Process
portal:keyword	Transition System
portal:keyword	domain theory
portal:keyword	holomorphic functions
portal:keyword	lattices
portal:keyword	quantum field theory
portal:keyword	semantics of programming languages
portal:keyword	universal algebra
portal:keyword	universal structures
portal:name	Mathematical Foundations of Programming Semantics
portal:portalPage	http://portal.confref.org/list/mfps1993
portal:series	https://id.confref.org/data/confref-portal/series/mfps
portal:startDate	1993-04-07
portal:submissionExtended	false
portal:year	1993
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/mfps/mfps1993

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.