Adam Brett Poswolsky

• Functional Programming with Logical Frameworks