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

by Philippa Gardner, Masahito Hasegawa, Masahito Hasegawa