|
|
Re: Splitting and cut elimination: msg#00008science.mathematics.frogs
Hi Charles, sorry but I cannot shed any light on any of your points off the top of my head. best wishes, Raj |
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | Re: Splitting and cut elimination: 00008, Charles A Stewart |
|---|---|
| Next by Date: | Re: Splitting for classical logic: 00008, Lutz Strassburger |
| Previous by Thread: | Re: Splitting and cut eliminationi: 00008, Charles A Stewart |
| Next by Thread: | Re: Splitting and cut elimination: 00008, Kai Brünnler |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |