Top Questions

1. How do you write the typing reference for this using rules from simply typed lambda calculus?
   1 votes

   0 answers