Proceedings 37th Conference on Mathematical Foundations of Programming Semantics

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. Th...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org
1. Verfasser: Sokolova, Ana
Format: Paper
Sprache:Englisch
Veröffentlicht: Ithaca Cornell University Library, arXiv.org 27.12.2021
Schlagworte:
Complex systems
Computer networks
Computer science
Formal method
Mathematical analysis
Mathematics
Programming languages
Quantum computing
Semantics
ISSN:2331-8422
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.
AbstractList MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.
Author Sokolova, Ana
Author_xml – sequence: 1
  givenname: Ana
  surname: Sokolova
  fullname: Sokolova, Ana
BookMark eNotjVFLwzAUhYMoOOd-gG8Bn1uTm6RpHqU4FSYO3PtIk9utY000acWfb0Gfznn4vnNuyGWIAQm546yUtVLswaaf_rsEzqHkQsvqgixACF7UEuCarHI-Mcag0qCUWJDtNkWH6PtwyFTo8UibGDpMGBzSGOibHY842LF39kzXcQp-7jFkGjs6q4dkh2F26ccMhZnKt-Sqs-eMq_9ckt36ade8FJv359fmcVNYBaIwnruqZaaqvUddMWnBW-dMJxRo7kBK5Ry2ynhjnfCtBCNR14q1yGrrOrEk93-znyl-TZjH_SlOKcyPe6i4NKLWRohfHQ1TEQ
ContentType Paper
Copyright 2021. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2021. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.48550/arxiv.2112.13746
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
ProQuest Central Premium
ProQuest One Academic (New)
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
Physics
Computer Science
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-LOGICAL-a523-9d1c6b0968dde7604a2dacc9f35271c2445cceb59d9ac3db4294e7850be08acf3
IEDL.DBID PIMPY
IngestDate Mon Jun 30 09:12:44 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a523-9d1c6b0968dde7604a2dacc9f35271c2445cceb59d9ac3db4294e7850be08acf3
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/publiccontent/docview/2614938793?pq-origsite=%requestingapplication%
PQID 2614938793
PQPubID 2050157
ParticipantIDs proquest_journals_2614938793
PublicationCentury 2000
PublicationDate 20211227
PublicationDateYYYYMMDD 2021-12-27
PublicationDate_xml – month: 12
  year: 2021
  text: 20211227
  day: 27
PublicationDecade 2020
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2021
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.7804823
SecondaryResourceType preprint
Snippet MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Complex systems
Computer networks
Computer science
Formal method
Mathematical analysis
Mathematics
Programming languages
Quantum computing
Semantics
Title Proceedings 37th Conference on Mathematical Foundations of Programming Semantics
URI https://www.proquest.com/docview/2614938793
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LT8JAEJ4oaKIXFDU-kOzBa4G2yz5OJhqIJkIaIQZPZF-NJNoiReLPd7cUejDx5LndzWazO_PN7DfzAdww6QcGY-UJTfLUjfEEE9RTmGFNfGm6ebPqlyc6HLLJhEdFeXRW0Co3NjE31Otuz463bY1wW6fKZczbFvdjHjJ7uG7nn57TkHJvrYWgxi5UXeOtoALV6HEQvW5zLgGhFkGH68fNvJVXWyy-Z6uWjYKClh9STH6Z5NzP9Gv_u8IjuzIxN4tj2DFJHWobBQdUXOg6HA62XVuzOuzndFCVnUAUbf1ahkK6fENlZSBKE1QOE--oVGbKUBqjaM34-rBj0cj-lLjJT2Hc743vH7xCe8ETNjT1uPYVkTa8Ydb8UdLBItBCKR5bvEZ9ZTFBVykju1xzoUItrVfDhrJuR5oOEyoOz6CSpIk5ByQDEnNtgUnANSaM8FAwyYwKTSwxEfQCGpvtnBb3J5uWu3f59-crOAgcy8R3RUYNqCwXX-Ya9tRqOcsWTaje9YbRc9MxOkfN4jj8ABQpxlA
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9tAEB7RpBVwoU2pSnl0D_ToEK83-zggDi1RIpLIElGVnqJ9WSBRG-KUx4_iP3bsxMkBiVsOnO1daT3jb76ZnQfAsTQh9YzZQDtehm58oKUWgWWSOR4a3y6bVf_ui-FQjscq3oDnqhamSKusMLEEapfZIkZ-gkyfqUiiOp3d3gXF1KjidrUaoTFXiwv_9IAuW37a-4Xy_UFp53z0sxsspgoEGp2uQLnQcoPEXeKPLXiLaeq0tSpBJiJCi9auba03beWUtpEziNfMC9luGd-S2iYRbvsO6gx1ndagHvcG8Z9lUIdygRQ9mt-elr3CTvT08fq-iW4WbYaRYPwF5peGrLPzxj7BRzy6vvXTT7Dh0wbsVDMoyAKSGrA9WPadzRvwoUxotflniOOlZc5JJGZXZFXbSLKUrJbpG7KaLZWTLCHxPGftL64ll_hSWmy-C6N1HPIL1NIs9V-BGMoT5ZBaUeUYl1xFWhrpbeQTw7gWe3BQyWuyQIB8shLWt9cff4fN7mjQn_R7w4t92KJFzkxYlEwdQG02_ecP4b29n13n06OFthGYrFm4_wEwjRXZ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Proceedings+37th+Conference+on+Mathematical+Foundations+of+Programming+Semantics&rft.jtitle=arXiv.org&rft.au=Sokolova%2C+Ana&rft.date=2021-12-27&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.2112.13746