 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
|
|
Dual Identity Combinators (Popularity:  ): Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the ...
Kolmogorov Complexity in Combinatory Logic (Popularity: ): Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
Perl Contains the Lambda-Calculus (Popularity: ): Explains why this computer program is well suited to apply to functional application.
Automated Reasoning (Popularity: ): Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
MetaPRL logical programming environment (Popularity: ): The next generation of the NuPrl proof development system. The main new features of MetaPRL include: 1) Modularity. Programs and ...
Alfa (Popularity: ): A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at ...
NuPrl Proof Development System (Popularity: ): A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures include: very expressive logical language ...
Kumo (Popularity: ): A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The ...
Af2 Proof Assistant (Popularity: ): A type system based on second order intuitionistic logic.
Isabelle (Popularity: ): Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.
|
|
Popular Sites |
|
Automated Reasoning (Popularity: ): Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
Dual Identity Combinators (Popularity: ): Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the ...
NuPrl Proof Development System (Popularity: ): A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures include: very expressive logical language ...
Kumo (Popularity: ): A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The ...
Lambda (Popularity: ): An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.
|
|
Related Press |
|
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity: ): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity: ): Gives BMO exclusive rights to issue Diners Club cards in North America;
clients will benefit from worldwide acceptance and ability ...
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity: ): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
CUNA/CFA 10th Annual Survey of Consumer Holiday Spending Attitudes, Plus Spending Tips (Popularity: ): Consumers plan to spend more during the holidays this year than during the depths of the recession a year ago, ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
