skip to main content

Alpha-Conversion, Conditions on Variables and Categorical Logic

Curien, Pierre-Louis

Studia logica, 1989-09, Vol.48 (3), p.319-360 [Periódico revisado por pares]

Wroclaw, Poland: Ossolineum and Kluwer Academic Publishers

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.