Hostname: page-component-76fb5796d-r6qrq Total loading time: 0 Render date: 2024-04-30T05:21:28.296Z Has data issue: false hasContentIssue false
  • English
  • Français

Special issue: Modalities in type theory

Published online by Cambridge University Press:  25 July 2001

MATT FAIRTLOUGH ,
MICHAEL MENDLER  and
EUGENIO MOGGI
MATT FAIRTLOUGH
Affiliation:
Department of Computer Science, Sheffield University, Sheffield S1 4DP, England
MICHAEL MENDLER
Affiliation:
Department of Computer Science, Sheffield University, Sheffield S1 4DP, England
EUGENIO MOGGI
Affiliation:
Department of Computer Science, University of Genova, 16146 Genova, Italy
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 11 , Issue 4 , August 2001 , pp. 507 - 509
Copyright
2001 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)