Now showing items 1-1 of 1

  • Generating event logics with higher-order processes as realizers 

    Bickford, Mark; Constable, Robert; Guaspari, David (2011-08-25)
    Our topic is broadening a practical ”proofs-as-programs” method of program development to “proofs-as-processes”. We extend our previous results that implement proofs-as-processes for the standard model of asynchronous ...