/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 adam.chlipala.net
InductiveTypes
| | math.andrej.com
Mathematics and Computation | Proof of negation and proof by contradiction
2.4 parsecs away

Travel
| | [AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic.
| | bartoszmilewski.com
Function Types | Bartosz Milewski's Programming Cafe
2.3 parsecs away

Travel
| | This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b...
| | lawrencecpaulson.github.io
Inductive definitions
2.3 parsecs away

Travel
| |
| | www.parsonsmatt.org
OOPH: Data Inheritance
5.8 parsecs away

Travel
| (this post is part of a series on Object Oriented Programming in Haskell - see tutorials for a table of contents)