First-class Environments in Categorical Combinators

2017 ◽  
Author(s):  
Hiroki JOKO ◽  
Shin-ya NISHIZAKI
Sign in / Sign up

Export Citation Format

Share Document