Stack Exchange Network

Stack Exchange network consists of 181 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about our products
  1. current community

    • TeX - LaTeX
      help chat
    • TeX - LaTeX Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
  2. Log in
  3. Sign up
TeX - LaTeX
  1. Home
    1. Public
    2. Questions
    3. Tags
    4. Users
    5. Companies
    6. Unanswered
    1. Teams
      Stack Overflow for Teams – Start collaborating and sharing organizational knowledge. Create a free Team Why Teams?
    2. Teams
    3. Create free Team

Teams

Q&A for work

Connect and share knowledge within a single location that is structured and easy to search.

Learn more about Teams
user avatar
user avatar
user avatar
Damiano Mazza
  • Member for 3 years, 6 months
  • Last seen more than a week ago
  • lipn.univ-paris13.fr/~mazza
  • Paris, France
  • Network profile
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
  • Theoretical Computer Science
    4.8k
  • MathOverflow
    1.3k
  • Computer Science
    155
  • Mathematics
    101
  • TeX - LaTeX
    101
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
  •  
    Supporter
    Jan 21, 2019
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
33
Time in Girard's Geometry of Interaction
27
Do you know important theorems that remain unknown?
24
How to make the Lambda Calculus strong normalizing without a type system?
22
What is the power of general poly-size permutation branching programs?
22
What is the contribution of lambda calculus to the field of theory of computation?
TeX - LaTeX
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
Company
  • Stack Overflow
  • Teams
  • Advertising
  • Collectives
  • Talent
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
  • Cookie Settings
  • Cookie Policy
Stack Exchange Network
  • Technology
  • Culture & recreation
  • Life & arts
  • Science
  • Professional
  • Business
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

Site design / logo © 2022 Stack Exchange Inc; user contributions licensed under CC BY-SA. rev 2022.8.11.42805

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.