16

Varieties of algebras and algebraic varieties. Categories of algebraic varieties
– B Plotkin
 1997

9

Geometrical equivalence of algebras
– A Berzins

18

with the same algebraic geometry
– B. Plotkin
 2002

16

Seven lectures on the universal algebraic geometry
– B Plotkin

9

Some notions of algebraic geometry in universal algebra, Algebra and Analysis
– B Plotkin
 1997

11

Algebraic geometry over groups II: Logical foundations
– A Myasnikov, V Remeslennikov

9

Tsurkov, Geometrical equivalence of groups
– B Plotkin, E Plotkin, A
 1999

8

Radicals and Plotkin’s problem concerning geometrically equivalent groups
– S Shelah R Gobel

11

Algebraic geometry over groups
– G Baumslag, A Myasnikov, V Remeslennikov
 1996

20

The automorphism group of a free group is complete
– J Dyer, E Formanek
 1975

390

Combinatorial group theory
– R Lyndon, P Sdiupp
 1977

3

An Introduction to Lambda Calculus for computer Scientists
– C Hankin

8

An algebraization of first order logic with terms Colloq
– J Cirulis
 1991

7

Simply typed and untyped lambda calculus revisited
– B Jacobs
 1992

3

The algebraicity of the lambdacalculus preprint 2007 arXiv:0704.2900
– M Maggesi, A Hirschowitz

3

Clone theory, its syntax and semantics, and applications to lambda calculus and algebraic logic
– Z Luo
 2007

7

Representing varieties of algebras by algebras
– W D Neumann
 1970

4

Left linear theories – A generalization of module theory
– B Pareigis, H Rohrl
 1994

7

Categorical, functorial, and algebraic aspects of the. typefree lambda calculus Banach Center Publications 9
– A Obtulowicz, A Wiweger
 1982
