[POPLmark] FSub decidability

Jevgenijs Sallinenes/non-MAXIMUS JevgenijsSallinenes at maximus.com
Thu May 19 18:13:22 EDT 2005

Previous message: [POPLmark] Re: Meta-comment
Next message: [POPLmark] F-sub decidability
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/poplmark/attachments/20050519/a6816b7f/attachment.htm

Previous message: [POPLmark] Re: Meta-comment
Next message: [POPLmark] F-sub decidability
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Poplmark mailing list