Florian Angeletti

Active filters:

⨂
  • tags>[Type system and errors]
New filter
  • Filter: key{<,=,>}[value], e.g. year>[1129]
  • Union : filter1 v filter2
  • Intersection: filter1 ^ filter2
  • Parameters: years, tags, author, journal