Fitch-Style Modal Lambda Calculi

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Documents

DOI

  • Ranald Clouston
Original languageEnglish
Title of host publicationFoundations of Software Science and Computation Structures : 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
EditorsChristel Baier, Ugo Dal Lago
Number of pages18
Volume10803
PublisherSpringer
Publication year2018
Pages258-275
DOIs
Publication statusPublished - 2018
Event21st International Conference, FOSSACS 2018 - Thessaloniki, Greece
Duration: 14 Apr 201820 Apr 2018
Conference number: 21
https://www.etaps.org/index.php/2018/fossacs

Conference

Conference21st International Conference, FOSSACS 2018
Nummer21
LandGreece
ByThessaloniki
Periode14/04/201820/04/2018
Internetadresse
SeriesLecture Notes in Computer Science (LNCS)
Number10803
ISSN0302-9743

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 119802803