Game Semantics or Linear Logic?

csc.villanova.edu
Visit Site

A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.

Category
Games
Visits
79
Added
Nov 13, 2025
Rating
(136)
Rate This Site
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Get the best links delivered weekly — hand-picked from 1,200,810 resources