-
Overview of the Mathemagix type system
The goal of the Mathemagix project is to develop a new and free software for computer algebra and computer analysis, based on a strongly typed and compiled language.... -
Behavioral Equivalence in the Polymorphic Pi-Calculus
This dataset has no description
