|
Counterexamples: msg#00014science.mathematics.frogs
Hello, in order not to forget them, I started collecting our precious counterexamples in a web page, at <http://alessio.guglielmi.name/res/cos/cex.html>. I've put there all those I could find in my notes. In the process, I discovered many things which required a lot of work that I had completely forgotten! If you have other counterexamples, please send them to me. -Alessio |
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | Re: Proof nets and bureaucracy: 00014, Alessio Guglielmi |
|---|---|
| Next by Date: | BOOK ANNOUNCEMENT: The Parametric Lambda Calculus: 00014, Luca Paolini |
| Previous by Thread: | Proof nets and bureaucracyi: 00014, Alessio Guglielmi |
| Next by Thread: | BOOK ANNOUNCEMENT: The Parametric Lambda Calculus: 00014, Luca Paolini |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | Mail Home | sitemap | FAQ | advertise |