Higher-Order and Reflexive Action Calculi: Their Type Theory and Models (1998)
by
Philippa Gardner
,
Masahito Hasegawa
,
Masahito Hasegawa
| Citations: | 1 - 0 self |
Document Versions
| Higher-Order and Reflexive Action Calculi: Their Type Theory and Models –Philippa Gardner, Masahito Hasegawa, Masahito Hasegawa — 1998 |
