Coinduction - PDFSEARCH.IO - Document Search Engine

Coinduction
Results: 78

#	Item
31	19th International CODATA Conference THE INFORMATION SOCIETY: NEW HORIZONS FOR SCIENCE Berlin, GermanyNovember 2004 Add to Reading List Source URL: codata.sinica.edu.tw Language: English - Date: 2013-11-28 01:36:18 Data sharing Scientific method Geographic information system Coinduction Science Committee on Data for Science and Technology Knowledge
32	From: _IWATA,_Shuichiï¼H)_ To: _ Cc: _HSS_ ; _Jean-Jacques_ROYER_ ; _Kathleen_Cass_ ; _seonpark_ ; _Sun_Honglie_ ; _Prof._Sung-Kee_Chu_ ; _Mu-Shik_Jhon_ ; _Lal_Krishan_ ; _Kunisawa_ Add to Reading List Source URL: codata.sinica.edu.tw Language: English - Date: 2013-11-28 01:36:18 Functional programming Category theory Theoretical computer science Indonesian Institute of Sciences Coinduction International System of Units Measurement Mathematics International standards International relations Committee on Data for Science and Technology
33	CANADIAN NATIONAL COMMITTEE FOR CODATA Add to Reading List Source URL: www.codata.info Language: English - Date: 2013-06-25 00:00:00 Committee on Data for Science and Technology CISTI Structure International Council for Science Coinduction International System of Units International standards International relations Science
34	C ANADIAN NATIONAL COMMITTEE FOR CODATA Add to Reading List Source URL: www.codata.info Language: English - Date: 2013-06-25 00:00:00 Committee on Data for Science and Technology CISTI Structure International Council for Science Coinduction International System of Units International standards International relations Science
35	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
36	CANADIAN NATIONAL COMMITTEE FOR CODATA Add to Reading List Source URL: www.codata.info Language: English - Date: 2013-06-25 00:00:00 Committee on Data for Science and Technology CISTI Structure International Council for Science Coinduction International System of Units International standards International relations Science
37	International Council for Science (ICSU) CODATA Newsletter Add to Reading List Source URL: www.codata.info Language: English - Date: 2013-06-25 00:00:00 International relations Committee on Data for Science and Technology Scientific data archiving International Council for Science International System of Units Metre Coinduction Geographic information system Data sharing Science International standards Measurement
38	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-11 16:56:14 Recursion Theoretical computer science Category theory Functional programming Higher-order functions Corecursion Fold Coinduction Map Software engineering Computer programming Declarative programming
39	Microsoft Word[removed]CODATA Resolution.doc Add to Reading List Source URL: lasp.colorado.edu Language: English - Date: 2014-01-30 00:00:24 Infographics Scientific modeling Committee on Data for Science and Technology Visualization Internet Applied mathematics Knowledge Coinduction Science Computational science Computer graphics
40	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic