Operational domain theory and topolgy of a sequential programming language

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages427-436
Number of pages10
Publication statusPublished - 1 Jan 2005
EventProceedings of 20th Annual IEEE Symposium on Logic in Computer Science -
Duration: 1 Jan 2005 → …

Conference

ConferenceProceedings of 20th Annual IEEE Symposium on Logic in Computer Science
Period1/01/05 → …