Stem teyjus$ (all stems)
1 papers:
CADE-1999-NadathurM #automaton #compilation #implementation #prolog #λ-calculus- System Description: Teyjus — A Compiler and Abstract Machine Based Implementation of lambda-Prolog (GN, DJM), pp. 287–291.
CADE-1999-NadathurM #automaton #compilation #implementation #prolog #λ-calculus