Not signed in (Sign In)

Discussion Feed
- RSS2
- ATOM

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: Kleene's second algebra

1 to 2 of 2

- CommentRowNumber1.
- CommentAuthorUrs
- CommentTimeMar 1st 2014
- PermaLink
Author: Urs
Format: MarkdownItexadded to _[[Kleene's second algebra]]_ under "Properties" the sentence: > Kleeen's second algebra is an abstraction of [[function realizability]] introduced for the purpose of extracting computational content from proofs in [[exact analysis|intuitionistic analysis]]. (e.g. [Streicher 07, p. 17](#Streicher07))

added to Kleene’s second algebra under “Properties” the sentence:

Kleeen’s second algebra is an abstraction of function realizability introduced for the purpose of extracting computational content from proofs in intuitionistic analysis. (e.g. Streicher 07, p. 17)
- CommentRowNumber2.
- CommentAuthorspitters
- CommentTimeMar 2nd 2014
- PermaLink
Author: spitters
Format: MarkdownItexQuickly added references to Kleene, and a more modern presentation using algebras/coalgebras.

Quickly added references to Kleene, and a more modern presentation using algebras/coalgebras.

1 to 2 of 2