Sciweavers

2 search results - page 1 / 1
» Algebraic Independence in Positive Characteristic -- A p-Adi...
Sort
View
CORR
2012
Springer
170views Education» more  CORR 2012»
12 years 6 days ago
Algebraic Independence in Positive Characteristic -- A p-Adic Calculus
Johannes Mittmann, Nitin Saxena, Peter Scheiblechn...
LOGCOM
2010
158views more  LOGCOM 2010»
13 years 2 months ago
Applying Universal Algebra to Lambda Calculus
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
Giulio Manzonetto, Antonino Salibra