Pages that link to "Item:Q2842840"

The following pages link to Geoffrey Washburn (Q2842840):

Displaying 4 items.

• Implementing Compositional Analysis Using Intersection Types With Expansion Variables (Q2842841) (← links)
• Boxes go bananas (Q5261280) (← links)
• Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)
• Theorem Proving in Higher Order Logics (Q5477646) (← links)