Back to Results
First PageMeta Content
Mathematical constructivism / Quantification / Functions and mappings / Computability theory / Intuitionism / Universal quantification / Constructivism / Interpretation / Intuitionistic logic / Mathematical logic / Logic / Mathematics


Document Date: 2010-12-13 20:01:59

Open Document

File Size: 327,19 KB

Share Result on Facebook

City

Berlin / Amsterdam / Hagenberg / Warsaw / Göteborg / London / New York / /

Company

Cambridge University Press / Elsevier Science Publishers B. V. / Troelstra A. S. / Clarendon Press / Microsoft / /

Country

Austria / United States / Netherlands / Canada / United Kingdom / Sweden / /

/

Event

Product Recall / Product Issues / /

Facility

Castle of Hagenberg / Chalmers University of Technology / /

IndustryTerm

dependent type systems / correct software / software proof assistants / hybrid systems / hybrid discrete and continuous systems / carrier Σa / /

Organization

Cambridge University / Russell O’Connor Department of Computing and Software / McMaster University / First International Spring School on Advanced Functional Programming Techniques-Tutorial Text / Department of Computer Science and Engineering / Chalmers University of Technology / /

Person

Addison Wesley / /

/

Product

equations / Monadic operations / /

ProgrammingLanguage

VB / /

ProvinceOrState

New York / /

PublishedMedium

Lecture Notes in Computer Science / /

RadioStation

RT-0367 / /

Technology

functional programming / /

URL

http /

SocialTag