Relating System F and λ2: A Case Study in Coq, Abella and Beluga

• Main Authors: Kaiser, Jonas, Pientka, Brigitte, Smolka, Gert
• Format: Article in Journal/Newspaper
• Language: unknown
• Published: 2017
• Subjects: hist; scipo; Beluga; Beluga*
• Online Access: https://escholarship.mcgill.ca/concern/articles/5138jj40p