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 ...