Coinduction - PDFSEARCH.IO - Document Search Engine

Coinduction
Results: 78

#	Item
41	Coinductive big-step operational semantics Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-01-03 04:15:57 Logic in computer science Mathematical induction Programming language semantics Category theory Coinduction Operational semantics Structural induction Theorem Lambda calculus Mathematics Logic Theoretical computer science
42	Logtalk 3 User Manual Copyright © Paulo Moura [removed] http://logtalk.org/ February 20, 2015 Add to Reading List Source URL: logtalk.org Language: English - Date: 2015-02-25 07:49:32 Programming paradigms Object-oriented programming Markup languages Logtalk Prolog Coinduction Protocol XEP XSL Formatting Objects Computing Software engineering Computer programming
43	Microsoft Word - CODATA_liaison_rep2008.doc Add to Reading List Source URL: www.iugg.org Language: English - Date: 2012-07-28 17:26:15 Functional programming Measurement Michael Zgurovsky Category theory International Council for Science Science Coinduction Global Earth Observation System of Systems International System of Units International standards International relations Committee on Data for Science and Technology
44	CODATA-Germany Lecture Notes in Information Sciences Risk Models and Applications, 2012 ISBN[removed]8 109 pages Add to Reading List Source URL: www.codata-germany.org Language: English - Date: 2012-08-25 09:39:31 Committee on Data for Science and Technology Coinduction Kremers Horst-Herzhorn Risk Applied mathematics Ethics Management Functional programming
45	DOI uses cases for data Jan Brase DOI outreach meeting November 21st Milano Add to Reading List Source URL: www.doi.org Language: English - Date: 2014-11-24 11:24:22 Identifiers Indexing Library science Academia DataCite Digital object identifier PANGAEA CISTI Coinduction Publishing Academic publishing Electronic documents
46	Eleventh Meeting of the Board on Research Data and Information National Research Council Meeting of the Board on Research Data and Information National Academy of Sciences Keck Building, Room 208 Add to Reading List Source URL: sites.nationalacademies.org Language: English - Date: 2014-10-17 09:51:04 Coinduction Mathematics Science Applied mathematics Committee on Data for Science and Technology Functional programming CENDI
47	[removed]Telecon#16/Summary World Data System Scientific Committee (WDS-SC) Teleconference #16 Add to Reading List Source URL: www.icsu-wds.org Language: English - Date: 2014-07-14 02:39:01 Academia Mathematics Knowledge Committee on Data for Science and Technology DataCite Coinduction
48	CODATA Executive Committee Recommendations Regarding Task Group Proposals 2014 Task Groups have been established to support CODATA’s overall Add to Reading List Source URL: www.codata.org Language: English - Date: 2014-10-17 09:35:38 Measurement International System of Units Mathematics Applied mathematics International standards Committee on Data for Science and Technology Coinduction
49	PDF Document Add to Reading List Source URL: codata.org Language: English - Date: 2014-03-26 06:09:54 Applied mathematics Computing Committee on Data for Science and Technology Coinduction Mathematics
50	CODATA International Council for Science (ICSU) Newsletter 105 Add to Reading List Source URL: www.codata.info Language: English - Date: 2013-06-25 00:00:00 Science Software engineering Computing Remote sensing Global Earth Observation System of Systems International Council for Science Coinduction Data mining Open data International standards Functional programming Committee on Data for Science and Technology