Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000187 | Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas] | Capture-avoiding substitution as a nominal algebra |
000235 | Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas] | Capture-Avoiding Substitution as a Nominal Algebra |
This area was generated with Dilib version V0.6.33. |