Find link

language:

Find link is a tool written by Edward Betts.

searching for Beta normal form 2 found (10 total)

Anti-unification (2,969 words) [view diff] no match in snippet view article find links to article

74–85. Simply-typed lambda calculus (Input: Terms in the eta-long beta-normal form. Output: higher-order patterns): Baumgartner, Alexander; Kutsia, Temur;

Jean-Pierre Jouannaud (615 words) [view diff] no match in snippet view article find links to article

(1996). "A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form". In Harald Ganzinger (ed.). Rewriting Techniques and Applications