Displaying similar documents to “An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST)”

Minimal monads

Karel Čuda, Blanka Vojtášková (1987)

Commentationes Mathematicae Universitatis Carolinae

Similarity: