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