Timeline for Semantics of Higher-Order Logics
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 11, 2010 at 9:53 | comment | added | Noldorin | I will set a bounty on this question if there are no more updates in a few days... my reputation points are pretty meager at the moment, but we'll see. | |
| Aug 5, 2010 at 7:46 | comment | added | Noldorin | I've had some good answers to some of the questions so far, but am still looking for further clarification on the others/additions to the existing answers. Thanks. | |
| Jul 26, 2010 at 13:02 | answer | added | Andrej Bauer | timeline score: 9 | |
| Jul 26, 2010 at 9:00 | answer | added | Stefan Geschke | timeline score: 4 | |
| Jul 26, 2010 at 8:16 | history | asked | Noldorin | CC BY-SA 2.5 |