Hochschulschrift
Extensions of system F by iteration and primitive recursion on monotone inductive types
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896755780
3896755781
- Dimensions
-
21 cm
- Extent
-
IX, 185 S.
- Language
-
Englisch
- Notes
-
Zugl.: München, Univ., Diss., 1999
- Keyword
-
System F
Induktiver Typ
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:41 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Matthes, Ralph
- Utz, Wiss.
Time of origin
- 1999
Other Objects (12)
On extensions of AF2 with monotone and clausular (Co)inductive definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Iteration, iteration, iteration
Convergence of Fibonacci–Ishikawa iteration procedure for monotone asymptotically nonexpansive mappings
Value iteration convergence of ε-monotone schemes for stationary Hamilton-Jacobi equations
Convergence and stability of Fibonacci-Mann iteration for a monotone non-Lipschitzian mapping
Recursion theory
Celestial recursion
Topological recursion
Iteration
Iterationen
Recursion-theoretic hierarchies
On extensions of AF2 with monotone and clausular (Co)inductive definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Iteration, iteration, iteration
Convergence of Fibonacci–Ishikawa iteration procedure for monotone asymptotically nonexpansive mappings
Value iteration convergence of ε-monotone schemes for stationary Hamilton-Jacobi equations
Convergence and stability of Fibonacci-Mann iteration for a monotone non-Lipschitzian mapping
Recursion theory
Celestial recursion
Topological recursion
Iteration
Iterationen
Recursion-theoretic hierarchies
On extensions of AF2 with monotone and clausular (Co)inductive definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Iteration, iteration, iteration
Convergence of Fibonacci–Ishikawa iteration procedure for monotone asymptotically nonexpansive mappings
Value iteration convergence of ε-monotone schemes for stationary Hamilton-Jacobi equations
Convergence and stability of Fibonacci-Mann iteration for a monotone non-Lipschitzian mapping
Recursion theory
Celestial recursion
Topological recursion
Iteration
Iterationen