Paulson - PDFSEARCH.IO - Document Search Engine

Paulson
Results: 330

#	Item
301	VITAE OF GREGORY S. PAULSON Add to Reading List Source URL: webspace.ship.edu Language: English - Date: 2013-09-10 11:10:33 Psylla Shippensburg University of Pennsylvania Algorithmic Number Theory Symposium American Entomological Society Zoology Academia Pennsylvania Entomological Society of America Entomology
302	5. Barnes_PAGE[removed]docx (Do Not Delete[removed]NOTES Shotgun Weddings: Director and Officer Fiduciary Duties in Government-Controlled and PartiallyNationalized Corporations Add to Reading List Source URL: www.vanderbiltlawreview.org Language: English - Date: 2011-05-18 10:54:51 Investment banking Late-2000s financial crisis Economics Merrill Lynch Henry Paulson John Thain Bank of America Ben Bernanke Emergency Economic Stabilization Act Economy of the United States Financial services Primary dealers
303	OFFICIAL PROCEEDINGS Pope County Board of Commissioners January 8, 2008 The meeting was called to order at 9:00 am by Chair Paulson with the following members present: Add to Reading List Source URL: www.co.pope.mn.us Language: English - Date: 2014-03-19 14:55:14 Parliamentary procedure Second
304	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory
305	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering
306	Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:46 Ordinal numbers Set theory Cardinal number Constructible universe Ordinal arithmetic Transfinite induction Mahlo cardinal Woodin cardinal Mathematical logic Large cardinals Mathematics
307	Constructible Lawrence C Paulson September 24, 2003 Contents 1 First-Order Formulas and the Definition of the Class L Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-14 06:49:59 Absoluteness Transitive set Constructible universe Well-formed formula Logical connective FO Function Logic Mathematics Mathematical logic
308	Set Theory for Veriﬁcation: II Induction and Recursion Lawrence C. Paulson Computer Laboratory, University of Cambridge April 1995 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:52 Theory of computation Functions and mappings Order theory Models of computation Knaster–Tarski theorem Function Well-founded relation Lambda calculus Constructible universe Mathematics Mathematical logic Computability theory
309	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
310	Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:46 Cardinal numbers Large cardinals Set theory Axiom of choice Zermelo–Fraenkel set theory Constructible universe First-order logic Mathematical proof Successor cardinal Mathematical logic Mathematics Logic

UPDATE