Original language | English |
---|---|
Place of Publication | Tilburg |
Publisher | Institute for Language Technology and Artifical IntelIigence, Tilburg University |
Number of pages | 16 |
Volume | 34 |
Publication status | Published - 1992 |
Publication series
Name | ITK Research Report |
---|
Keywords
- dynamic logic
- semantics
- type theory