Sanchis, Luis E.
VIAF ID: 64074450 ( Personal )
Permalink: http://viaf.org/viaf/64074450
Preferred Forms
- 200 _ | ‡a Sanchis ‡b Luis E.
- 100 1 _ ‡a Sanchis, Luis E.
-
- 100 1 0 ‡a Sanchis, Luis E.
-
-
- 100 1 _ ‡a Sanchis, Luis E.
-
-
- 100 1 _ ‡a Sanchis, Luis E.
- 100 1 _ ‡a Sanchis, Luis E.
Works
Title | Sources |
---|---|
Algoritmy i rekursivnye funkcii | |
Data types as lattices: Retractions, closures and projections | |
Mathematical semantics for higher order programming languages [microvorm]/ Luis E. Sanchis. | |
Recursive functionals | |
Reflexive Structures : An Introduction to Computability Theory | |
Set theory : an operational approach |