MURAL - Maynooth University Research Archive Library



    Items where Author is "Webster, Caroline"


    [up] Up a level
    Group by: Item Type | Date | No Grouping
    Jump to: 1999
    Number of items: 1.

    1999

    Power, James F. and Webster, Caroline (1999) Working with Linear Logic in Coq. In: 12th International Conference on Theorem Proving in Higher Order Logics, 14-17 September 1999, University of Nice, France.

    This list was generated on Mon Dec 23 01:29:30 2024 UTC.
    MURAL - Maynooth University Research Archive Library is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility