Coinduction - PDFSEARCH.IO - Document Search Engine

Coinduction
Results: 78

#	Item
21	BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-10 12:36:02 Logic in computer science Process calculi Sheaf theory Π-calculus Programming language semantics Bisimulation Presheaf Coinduction Process calculus Mathematics Theoretical computer science Applied mathematics
22	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-04-10 20:31:05 Lambda calculus Normalisation by evaluation Proof theory
23	Productive Infinite Objects via Copatterns Andreas Abel1 Department of Computer Science and Engineering Chalmers and Gothenburg University Gothenburg, Sweden Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-15 14:43:02 Category theory Theoretical computer science Programming idioms Functional languages Functional programming Recursion Coinduction Haskell Pattern matching Software engineering Computer programming Computing
24	CENDI Meeting January 8, 2015 CODATA CREATING THE DATA FUTURE Discussion of National and Add to Reading List Source URL: www.cendi.gov Language: English Coinduction Structure Science Mathematics International nongovernmental organizations Committee on Data for Science and Technology International Council for Science
25	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-02-16 03:48:02 Normalisation by evaluation Monad Computer programming Curry–Howard correspondence Mathematical logic Software engineering Lambda calculus
26	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-03-26 05:31:12 Monad Computer programming Computing Lambda calculus Software engineering Normalisation by evaluation
27	PDF Document Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:57:44 Mathematics Applied mathematics Austria Salzburg Multi-agent system Coinduction
28	VACANCY ANNOUNCEMENT EXECUTIVE DIRECTOR – CODATA CODATA (www.codata.org), founded in 1966, is a non-governmental organization that strengthens international science for the benefit of society by promoting improved scie Add to Reading List Source URL: www.bic.cas.cn Language: English - Date: 2013-01-30 00:32:05 Functional programming Measurement Coinduction International System of Units Science Structure International standards Committee on Data for Science and Technology International Council for Science
29	International Council for Science (ICSU) CODATA Special 01 Add to Reading List Source URL: www.codata.info Language: English - Date: 2013-06-25 00:00:00 Science Measurement International Council for Science Michael Zgurovsky International System of Units Coinduction Dimensionless physical constant Open data Data quality International standards International relations Committee on Data for Science and Technology
30	Pattern Recognition for Coinductive Proof Trees Katya Komendantskaya School of Computing, University of Dundee, UK AI4FM’11,Edinburgh 29 April 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Computer programming Mathematical logic Category theory Functional programming Computability theory Coinduction Recursion Mathematical proof Machine learning Mathematics Logic Theoretical computer science