by META-92 (1992 Uppsala, Sweden)
"This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden, June 1992. The topics covered include foundati…