Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

First Page		Document Content
Date: 2012-09-30 08:41:25 Proof theory General relativity Complex analysis Holomorphic functional calculus		Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors Add to Reading List Source URL: lampwww.epfl.ch Download Document from Source Website File Size: 304,06 KB Share Document on Facebook

	MG13 STOCKHOLM 1-7 JULY 2012 on Recent Developments in Theoretical and Experimental General Relativity, Astrophysics, and Relativistic Field Theories DocID: 1vkfp - View Document
	A873: Cosmology Course Notes II. General Relativity Suggested Readings on this Section (All Optional) DocID: 1vcEq - View Document
	AF T General Relativity Christian G. B¨ohmer∗ Department of Mathematics, University College London, DocID: 1uSGV - View Document
	AUSTRALIAN SOCIETY FOR GENERAL RELATIVITY AND GRAVITATION Eighth Australasian Conference on General Relativity and Gravitation Monash University DocID: 1uGN7 - View Document
	The Problem of Conservation Laws and the Poincaré Quasigroup in General Relativity Gennady Gorelik 1. Introduction DocID: 1uxQ5 - View Document