1. Baelde, D., Gacek, A., Miller, D., Nadathur, G., Tiu, A.: A User Guide to Bedwyr (November 2006)
2. Elliott, C., Pfenning, F.: A semi-functional implementation of a higher-order logic programming language. In: Lee, P. (ed.) Topics in Advanced Language Implementation, pp. 289–325. MIT Press, Cambridge (1991)
3. Girard, J.-Y.: A fixpoint theorem in linear logic. An email posting to the mailing list linear@cs.stanford.edu (February 1992)
4. McDowell, R., Miller, D.: A logic for reasoning with higher-order abstract syntax. In: Proc. LICS 1997, pp. 434–445. IEEE Comp. Soc. Press, Los Alamitos (1997)
5. McDowell, R., Miller, D., Palamidessi, C.: Encoding transition systems in sequent calculus. Theoretical Computer Science 294(3), 411–437 (2003)