Higher-Order and Reflexive Action Calculi: Their Type Theory and Models (1998)

Cached

Download Links

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