On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes

QR Code

On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes

This thesis is composed of three separate parts. The first part deals with definability and productivity issues of equational systems defining polymorphic stream functions. The main result consists of showing such systems composed of only unary stream functions complete with respect to specifying c...

Full description

Bibliographic Details
Main Author:	Sattler, Christian
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2015
Online Access:	https://eprints.nottingham.ac.uk/28111/

Similar Items

Univalent higher categories via complete semi-segal types
by: Capriotti, Paolo, et al.
Published: (2018)

Free higher groups in homotopy type theory
by: Kraus, Nicolai, et al.
Published: (2018)

The productivity of polymorphic stream equations and the composition of circular traversals
by: Balestrieri, Florent
Published: (2015)

Higher inductive types, inductive families, and inductive-inductive types
by: von Raumer, Jakob
Published: (2020)

On isomorphisms and invariants of finite dimensional complex filiform Leibniz algebras
by: Sattarovich, Rakhimov Isamiddin, et al.
Published: (2010)

A Study on Univalent Functions and First Order Ordinary Differential Equations
by: Teo, Yee Rui
Published: (2017)

Bers isomorphism on the universal Teichmüller curve
by: Teo, Lee-Peng
Published: (2007)

Solutions of time-dependent Emden–Fowler type equations by homotopy-perturbation method
by: Chowdhury, Md. Sazzad Hossien, et al.
Published: (2007)

Analytic and Harmonic Univalent Functions
by: Ravichandran, V., et al.
Published: (2014)

On isomorphism classes and invariants of a subclass of low-dimensional complex filiform Leibniz algebras
by: Rakhimov, Isamiddin Sattarovich, et al.
Published: (2011)

Homotopy-perturbation method for heat transfer equations
by: Chowdhury, Md. Sazzad Hossien, et al.
Published: (2010)

Univalence criteria of certain integral operator
by: Eghbiq, Abdussalam, et al.
Published: (2016)

Assessment of homotopy analysis method and homotopy perturbation method in non-linear heat transfer equation
by: Domairry, G., et al.
Published: (2008)

Truncation levels in homotopy type theory
by: Kraus, Nicolai
Published: (2015)

Isomorphic or non-isomorphic, the question of Institutionalization of sustainability reporting and the effect of Institutional Fields on American MNCs’ subsidiaries in Mexico.
by: Gutierrez Huerter'O, Gabriela
Published: (2012)

Induction of DNA complexes by type I and type II interferons
by: Cheng, Wai Kit
Published: (2016)

Automorphisms and isomorphisms of Jha-Johnson semifields obtained from skew polynomial rings
by: Brown, Christian, et al.
Published: (2018)

Constructions with non-recursive higher inductive types
by: Kraus, Nicolai
Published: (2016)

Solutions of Emden–Fowler equations by homotopy-perturbation methods
by: Chowdhury, Md. Sazzad Hossien, et al.
Published: (2009)

Linear homotopy solution of nonlinear systems of equations in geodesy
by: Palancz, B., et al.
Published: (2010)

An approximation to the solution of hyperbolic equation by homotopy analysis method
by: Ismail, Siti Hajar
Published: (2018)

An application of q-calculus to harmonic univalent functions
by: Saurabh Porwal,, et al.
Published: (2018)

A Study on Univalent Functions and their Geometrical Properties
by: Wei, Dik Kai
Published: (2017)

Comparison of homotopy analysis method and homotopy-perturbation method for purely nonlinear fin-type problems
by: Chowdhury, Md. Sazzad Hossien, et al.
Published: (2009)

On a subclass of goodman-ronning type harmonic univalent functions defined by Dziok-Srivastava operator
by: Akrabally, Ajab, et al.
Published: (2016)

Extending homotopy type theory with strict equality
by: Altenkirch, Thorsten, et al.
Published: (2016)

Homotopy decomposition method for solving higher-order time-fractional diffusion equation via modified beta derivative
by: Abuasad, Salah, et al.
Published: (2018)

Homotopy-perturbation method for solving linear and nonlinear differential equation
by: Chowdhury, Md. Sazzad Hossien
Published: (2015)

Solution of classical Lane-Emden equation by homotopy-perturbation method
by: Chowdhury, Md. Sazzad Hossien
Published: (2007)

Analytic treatment of differential equations by modified homotopy perturbation method
by: Chowdhury, Md. Sazzad Hossien, et al.
Published: (2012)

Application of Homotopy Analaysis Method for linear integro-differential equations
by: Abbas, Zulkifly, et al.
Published: (2010)

Analytic treatment of differential equations by modified homotopy perturbation method
by: Chowdhury, M.S.H., et al.
Published: (2012)

Homotopy perturbation method for the hypersingular integral equations of the first kind
by: K.Eshkuvatov, Zainidin, et al.
Published: (2018)

Application of homotopy perturbation method for fractional partial differential equations
by: Elbeleze, Asma Ali, et al.
Published: (2014)

Initial bounds for certain subclasses of generalized salagean type Bi-univalent functions associated with the Horadam polynomials
by: Sakar, F. Muge, et al.
Published: (2019)

Some new integral operators: sufficient conditions for their Univalence
by: Georgia Irina Oros,, et al.
Published: (2011)

Isomorphism classes of 10-dimensional filiform Leibniz algebras
by: Mohd Kasim, Suzila, et al.
Published: (2013)

Fractional operators and their applications on spaces of analytic and univalent functions
by: Abdulnaby, Zainab Esa
Published: (2017)

An accurate solution to the Lotka-Volterra equations by modified homotopy perturbation method
by: Chowdhury, Md. Sazzad Hossien, et al.
Published: (2011)

Solving Nonlinear Algebraic Problem Using Newton Homotopy Differential Equation
by: Hasan, Talib Hashim, et al.
Published: (2011)