This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of...

Invited Talks.- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.-...

This book discusses theories that link functions to specific anatomical brain regions. The best k...

Coinduction is a method for specifying and reasoning about infinite data types and automata with ...

This book discusses theories that link functions to specific anatomical brain regions. The best k...