ChangeDetection - Change Log: Latest Work

Latest Work

Address: www.cl.cam.ac.uk/~mpf23/latest.html

Current status: normal - monitoring
Number of users monitoring this page: 1
Most recent sizable change (text, html) : 2011-09-15 00:57
Most recent change (text, html) : 2011-09-15 00:57
Last checked for changes: 2012-02-14 00:57
ChangeDetection started monitoring: 2008-09-12 00:57

monitor this page

summary of most recent changes

Showing 1 - 5 of 8

1 2 [next]

show added and deleted only added only deleted | show context hide context | show sizable show all

View changes: 2011-09-15 00:57 37 new words, 1 deleted words, 3% change

Latest Work M.P.Fiore. Algebraic Foundations for Type Theories . Talk given at the 18th Workshop Types for Proofs and Programs ( Types 2011 ), Bergen (Norway), 2011. [ slides ] M.Hamana and M. ... SEN-1004 , pages~8--9, Latest Work M.P.Fiore. Algebraic Foundations for Type Theories . Talk given at the 18th Workshop Types for Proofs and Programs ( Types 2011 ), Bergen (Norway), 2011. [ slides ] M.Hamana and M. ... 8--9, Latest Work M.... SEN-1004 , pages~8--9,

View changes: 2011-07-16 00:57 3 new words, 0 deleted words, <1% change
... . [ preprint ] [ arxiv ] M.P. . [ preprint ] [ arxiv ] M.P. . [ preprint ] ... M.P.

View changes: 2011-07-15 00:57 178 new words, 7 deleted words, 19% change

Latest Work M.Hamana and M.P.Fiore . A Foundation for GADTs and Inductive Families: Dependent Polynomial ... .P.Fiore and O.Mahmoud. ... (The original publication will be is available at www. ... Second-order equational logic . To appear in In Proceedings of the 19 ... 2010) , LNCS6247, pp. 320-335, 2010. [ preprint ... (The original publication will be is available at www. ... P.Fiore and S.Staton. Positive ... Latest Work M.Hamana and M.P.Fiore . A Foundation for GADTs and Inductive Families: Dependent Polynomial ... .P.Fiore and O.Mahmoud. ... (The original publication is available at www. ... Second-order equational logic . In Proceedings of the 19 ... 2010) , LNCS6247, pp. 320-335, 2010. [ preprint ... (The original publication is available at www. ... P.Fiore and S.Staton. Positive ... .P.Fiore and T.Leinster. ... Latest Work M.... (The original publication will be available at www. ... Second-order equational logic . To appear in Proceedings of the 19 ... (The original publication will be available at www. ... T.Leinster. more...

View changes: 2010-07-03 00:57 14 new words, 9 deleted words, 2% change

... Second-order algebraic theories . To appear in In Proceedings of the 35 ... MFCS 2010) , LNCS 6281, pp. 368-380, 2010. [ preprint ] [ (The original publication will ... .springerlink.com. ] .) M.P. ... CSL 2010) , LNCS, 2010. [ preprint ] [ (The original publication will ... .springerlink.com. ] .) M.P. Second-order algebraic theories . In Proceedings of the 35 ... MFCS 2010) , LNCS 6281, pp. 368-380, 2010. [ preprint ] (The original publication will ... .springerlink.com.) M.P. ... CSL 2010) , LNCS, 2010. [ preprint ] (The original publication will ... .springerlink.com.) M.P. Second-order algebraic theories . To appear in Proceedings of the 35 ... 2010. [ preprint ] [ The original publication will ... .springerlink.com. ] M.P. ... 2010. [ preprint ] [ The original publication will ... .springerlink.com. ] M.P.

View changes: 2010-06-15 00:57 111 new words, 0 deleted words, 14% change

... P.Fiore and O.Mahmoud. Second-order algebraic theories . To appear in Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science ( MFCS 2010) , 2010. [ preprint ] [ The original publication ... EACSL Annual Conference on Computer Science Logic ( CSL 2010) , 2010. [ preprint ] [ The original publication will be available at www.springerlink.com. ] M.P.Fiore and ... P.Fiore and O.Mahmoud. Second-order algebraic theories . To appear in Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science ( MFCS 2010) , 2010. [ preprint ] [ The original publication ... EACSL Annual Conference on Computer Science Logic ( CSL 2010) , 2010. [ preprint ] [ The original publication will be available at www.springerlink.com. ] M.P.Fiore and T.Leinster. ... P.Fiore and ... T.Leinster. more...

link to this change log

Changes to the page www.cl.cam.ac.uk/~mpf23/latest.html are logged on this page as they are detected. You can link to this log by pasting the HTML below into your page. It produces a link which looks like this: change log

Latest Work

monitor this page

summary of most recent changes

link to this change log

log in

search