Pacote LaTeX para regras de inferência de tipos
