Fixed-point property - PDFSEARCH.IO - Document Search Engine

Fixed-point property
Results: 9

#	Item
1	The approximate fixed point property in product spaces U. Kohlenbach a,∗ , L. Leu¸stean a,b a Department of Mathematics, Darmstadt University of Technology, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 06:45:00 Mathematical analysis Mathematics Functional analysis Harmonic analysis Symbol Spectral theory of ordinary differential equations
2	The Fixed Point Property in Synthetic Domain Theory Paul Taylor 1991 Abstract We present an elementary axiomatisation of synthetic domain theory and show that it Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-13 17:08:23
3	PDF Document Add to Reading List Source URL: gcoe.math.kyoto-u.ac.jp Language: English - Date: 2013-01-07 23:44:46 Iwase Asaoka Fixed-point property Mimura Imms Kyoto
4	The Fixed Point Property in Synthetic Domain Theory Paul Taylor 1991 Abstract We present an elementary axiomatisation of synthetic domain theory and show that it Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-13 17:08:23
5	REGISTRATION FORM - TYPHLO & TACTUS (T&Tto be completed for each book entered AUTHORS SHALL SEND THEIR ENTRY AT THE DATE FIXED BY THEIR NATIONAL T&T CONTACT POINT. 1. To be completed for original books especially Add to Reading List Source URL: www.tactus.org Language: English - Date: 2015-01-20 11:15:31 Copyright Data management Library science Monopoly Royalties Email Law Intellectual property law Information Data
6	A Traced Monoidal Category of Relations (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:21 Monoidal categories Lambda calculus Traced monoidal category Monoid Morphism Sheaf Associative property Fixed-point combinator Cartesian closed category Algebra Mathematics Category theory
7	lci Manual Kostas Chatzikokolakis 12 March 2006 This manual describes the use of lci, which is an advanced interpreter for the λ-calculus. This program was first developed by Kostas Chatzikokolakis Add to Reading List Source URL: lci.sourceforge.net Language: English - Date: 2006-03-13 15:27:23 Mathematical logic Recursion Computability theory Combinatory logic Logic in computer science Fixed-point combinator Associative property Operator associativity Function Mathematics Theoretical computer science Lambda calculus
8	Proc. Natl. Acad. Sci. USA Vol. 74, No. 11, pp[removed], November 1977 Mathematics Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 16:28:10 Functional analysis Topological vector spaces Convex analysis Locally convex topological vector space Convex function Weak topology Fixed-point property Schauder fixed point theorem Continuous function Mathematical analysis Mathematics Topology