?
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

- [Oct. 30th, 2001|02:43 pm]
Jason
Some minor progress in writing the proposal for
the substructural functional pl thing.
It looks like completeness of intuitionistic linear focusing
is a solved problem.
LinkReply