Abstract

Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.

Links and resources

DOI:
10.1145/2699407
URL:
BibTeX key:
citeulike:14067827
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication