Assaf - PDFSEARCH.IO - Document Search Engine

Assaf
Results: 161

#	Item
61	Privatizing Social Security: A Political-Economy Approach Assaf Razin and Efraim Sadka The aging of the population shakes the public finance of pay-as-you-go social security systems. We develop a political-economy framew Add to Reading List Source URL: www.imes.boj.or.jp Language: English - Date: 2004-12-20 02:35:56
62	Objects and subtyping in the λΠ-calculus modulo Ali Assaf, Raphaël Cauderlier, Catherine Dubois TYPES 2014, May 12 . Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:20
63	Grid Mashups Gluing grids together with Condor and BOINC Mark Silberstein, Artyom Sharov, Assaf Schuster, Dan Geiger Technion – Israel Institute of Technology Add to Reading List Source URL: research.cs.wisc.edu - Date: 2012-11-01 11:48:31
64	The chicken and the pencil Ali Assaf Inria, Ecole Polytechnique 25 March, 2015 Deducteam seminar Add to Reading List Source URL: who.rocq.inria.fr - Date: 2015-03-26 09:37:15
65	Learning in the fast-lane: New insights into neuroplasticity from micro-structural MRI Yaniv Assaf Department of Neurobiology, The George S. Wise Faculty of Life Sciences, The Sagol School of Neuroscience, Tel Aviv Unive Add to Reading List Source URL: konferens.ht.lu.se Language: English - Date: 2014-05-01 15:20:27
66	Microsoft Word - 5_Assaf_0_Revised.doc Add to Reading List Source URL: www.iemss.org Language: English - Date: 2011-11-23 04:44:46
67	Ali Assaf INRIA ParisRocquencourt, 23 avenue d’Italie, 75013 Paris, France +33 (0) 6 45 96 49 72 \| \| https://who.rocq.inria.fr/Ali.Assaf/ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-03-27 09:54:11
68	Comments on Risk Shifting and Excessive Trade Volatility by Assaf Razin and Anuk Serechetapongse Pushan Dutt INSEAD Add to Reading List Source URL: abfer.org Language: English - Date: 2014-06-12 05:53:57
69	Mixing HOL and Coq in Dedukti (Extended Abstract) Ali Assaf Raphaël Cauderlier Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-05-20 05:30:10
70	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory

UPDATE