Coinduction - PDFSEARCH.IO - Document Search Engine

Coinduction
Results: 78

#	Item
71	CODATA International Council for Science (ICSU) Add to Reading List Source URL: www.codata.org Language: English - Date: 2015-04-04 19:10:49 Coinduction Measurement International System of Units Science Structure International standards Committee on Data for Science and Technology International Council for Science
72	APPOINTMENT OF CODATA’s NEW EXECUTIVE DIRECTOR CODATA, the Committee on Data for Science and Technology is delighted to welcome Dr. Simon Hodson as its new Executive Director. Dr. Hodson will provide important leadersh Add to Reading List Source URL: www.codata.org Language: English - Date: 2015-04-04 19:10:50 International Council for Science Mathematics Structure Applied mathematics Functional programming Committee on Data for Science and Technology Coinduction
73	Task Group Renewal Proposal for Presentation to the 29th CODATA General Assembly New Delhi, 6-7 November 2014 Task Groups have been established to support CODATA’s overall mission to strengthen international science fo Add to Reading List Source URL: www.codata.org Language: English - Date: 2015-04-04 19:10:51 Measurement International System of Units Coinduction Task force Mathematics International standards International relations Committee on Data for Science and Technology
74	Group on Earth Observations Add to Reading List Source URL: www.codata.org Language: English - Date: 2015-04-04 19:10:51 Category theory Global Earth Observation System of Systems Coinduction Iguaçu Group on Earth Observations Halpern Committee on Space Research Gilberto Câmara Mathematics Remote sensing Functional programming Committee on Data for Science and Technology
75	DRAFT of June 27, 2013 Wellfounded Recursion with Copatterns Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-06-27 12:30:39 Recursion Theoretical computer science Programming idioms Category theory Functional programming Haskell Coinduction Corecursion Pattern matching Software engineering Computer programming Computing
76	The Power of Parameterization in Coinductive Proof Chung-Kil Hur Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2012-11-01 02:57:53 Structure Abstract interpretation Galois connection Coinduction Mathematics Order theory Mathematical analysis
77	Let’s see how things unfold: reconciling the infinite with the intensional (extended abstract) Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2009-05-23 04:50:00 Functional programming Mathematical logic Theoretical computer science Function Corecursion Coinduction F-coalgebra Anamorphism Universal quantification Category theory Mathematics Declarative programming
78	Ensuring Streams Flow? Alastair Telford and David Turner The Computing Laboratory, The University, Add to Reading List Source URL: kar.kent.ac.uk Language: English - Date: 2011-06-28 11:40:51 Functional programming Recursion Theoretical computer science Computability theory Subroutines Corecursion Coinduction Function Stream Software engineering Declarative programming Computer programming