Abstract | ||
---|---|---|
This special issue reports on some recent advances in the area of intuitionistic modal type theories and their application to Computer Science. It collects a selection of papers presented at the Logic in Computer Science (LICS'99) satellite workshop on Intuitionistic Modal Logics and Applications (IMLA'99) held at Trento, Italy in July 1999. All of the contributors to this one day workshop, which was widely attended, were invited to submit a full and revised version of their papers to this special issue of MSCS. The selection was based on a second round of peer reviewing. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1017/S0960129501003310 | Mathematical Structures in Computer Science |
Keywords | Field | DocType |
recent advance,intuitionistic modal logics,computer science,day workshop,intuitionistic modal type theory,special issue,special issue report,satellite workshop,revised version,type theory | Modalities,Computer science,Logic in computer science,Type theory,Artificial intelligence,Modal | Journal |
Volume | Issue | Citations |
11 | 4 | 1 |
PageRank | References | Authors |
0.34 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Matt Fairtlough | 1 | 71 | 6.75 |
Michael Mendler | 2 | 314 | 34.60 |
Eugenio Moggi | 3 | 1406 | 141.08 |