- Alternative title
-
Monadische Parametrizität von Funktionen zweiter Stufe
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Diss., 2013
- Keyword
-
Funktionale Programmierung
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2013
- Creator
- Contributor
-
Seidl, Helmut
Simpson, Alex
- URN
-
urn:nbn:de:bvb:91-diss-20130923-1144371-0-6
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:54 AM 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
- Karbyshev, Aleksandr
- Seidl, Helmut
- Simpson, Alex
- Universitätsbibliothek der TU München
Time of origin
- 2013
Other Objects (12)
Monadic parametricity of second-order functionals
Verification of second-order functional programs
Class forcing and second-order arithmetic
Second-order productivity, second-order payoffs, and the Banzhaf value
Second-order productivity, second-order payoffs, and the Owen value
Second-order productivity, second-order payoffs, and the Owen value
Second-order productivity, second-order payoffs, and the Shapley value
Synchronization in the second-order Kuramoto model
Second-Order Finite Automata
Asymptotic Expansions for Second-Order Moments of Integral Functionals of Weakly Correlated Random Functions
Interference-corrected explicitly-correlated second-order perturbation theory
Observability and "second-order acts"
Monadic parametricity of second-order functionals
Verification of second-order functional programs
Class forcing and second-order arithmetic
Second-order productivity, second-order payoffs, and the Banzhaf value
Second-order productivity, second-order payoffs, and the Owen value
Second-order productivity, second-order payoffs, and the Owen value
Second-order productivity, second-order payoffs, and the Shapley value
Synchronization in the second-order Kuramoto model
Second-Order Finite Automata
Asymptotic Expansions for Second-Order Moments of Integral Functionals of Weakly Correlated Random Functions
Interference-corrected explicitly-correlated second-order perturbation theory
Observability and "second-order acts"
Monadic parametricity of second-order functionals
Verification of second-order functional programs
Class forcing and second-order arithmetic
Second-order productivity, second-order payoffs, and the Banzhaf value
Second-order productivity, second-order payoffs, and the Owen value
Second-order productivity, second-order payoffs, and the Owen value
Second-order productivity, second-order payoffs, and the Shapley value
Synchronization in the second-order Kuramoto model
Second-Order Finite Automata
Asymptotic Expansions for Second-Order Moments of Integral Functionals of Weakly Correlated Random Functions
Interference-corrected explicitly-correlated second-order perturbation theory