formal methods

LLMbda calculus gives agents safety rules

A formal calculus for AI agents models conversations and enforces information-flow rules for safer LLM-based programming.