Papers in logic and programming

• ON THE MEANINGS OF THE LOGICAL CONSTANTS AND THE JUSTIFICATIONS OF THE LOGICAL LAWS
• Purely Functional Lazy Non-deterministic Programming
• REPRESENTING GAME DIALOGUE AS EXPRESSIONS IN FIRST-ORDER LOGIC

• Browse
• All Categories
• By Keyword