Login / Signup

What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation.

Alexander DingesRalf Hinze
Published in: IFL (2023)
Keyphrases