Types for Proofs and Programs

Status

Rate

Check Later

Authors

Hutchison, David - undifferentiated

Hutchison, David - undifferentiated

Subjects

Hol Beweistheorie Computer Programming Typsystem Data Processing Algebra Programmierung Typentheorie Congresses Kongress

Reviews (0) see more

Seems like you haven't provided a review

Don't miss the opportunity to share your thoughts!

Similar Books

Similar Movies

Similar TV Series

Similar Games