Univalent function - PDFSEARCH.IO - Document Search Engine

Univalent function
Results: 7

#	Item
1	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function
2	Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-11-27 15:43:03 Type theory Dependently typed programming Logic in computer science Proof theory Mathematical constructivism Function Intuitionistic type theory Axiom of choice Constructible universe Mathematical logic Mathematics Logic
3	Univalent Foundation and Constructive Mathematics Thierry Coquand Oberwolfach, November 21, 2014 Univalent Foundation and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-28 14:56:51 Epistemology Principal homogeneous space Function Disjoint sets Mathematics Abstract algebra Constructivism
4	The intrinsic topology of a univalent universe Mart´ın Escard´ o University of Birmingham, UK 4FTW, June 2012, Ljubljana, Slovenia Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-19 08:18:06 Category of topological spaces Trivial topology Topos Continuous function Grothendieck topology Discrete space Homotopy Topology General topology Topological space
5	On Certain Operators and Related Topics in Geometric Function Theory A thesis submitted for the award of degree of DOCTOR OF PHILOSPHY IN MATHEMATICS Add to Reading List Source URL: prr.hec.gov.pk Language: English - Date: 2011-05-26 02:46:19 Commission on Science and Technology for Sustainable Development in the South Function COMSATS University of Science and Technology Univalent function Academia Rashid Ahmad Mathematics Analytic functions CIIT
6	PDF Document Add to Reading List Source URL: prr.hec.gov.pk Language: English - Date: 2011-05-26 02:48:41 Geometric function theory Convolution Univalent function Fekete–Szegő inequality Loewner differential equation Mathematical analysis Mathematics Function
7	211 E X T R E M U M PROBLEMS A N D V A R I A T I O N A L Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 11:09:59 Analytic functions Geometric function theory Functions and mappings Differential equations Calculus of variations Conformal map Analytic continuation Riemann mapping theorem Univalent function Mathematical analysis Mathematics Complex analysis

UPDATE