Browse College of Engineering by Author "Swarup, Vipin"

  • Swarup, Vipin (1992)
    This thesis is concerned with extending the correspondence between intuitionistic logic and functional programming to include assignments and dynamic data. We propose a theoretical framework for adding these imperative ...

    application/pdf

    application/pdfPDF (6MB)Restricted to U of Illinois